diff options
| author | Matthias Vogelgesang <matthias.vogelgesang@gmail.com> | 2012-08-28 11:28:36 +0200 |
|---|---|---|
| committer | Matthias Vogelgesang <matthias.vogelgesang@gmail.com> | 2012-08-28 11:28:36 +0200 |
| commit | d6fd2aa572e0fd267c168d93023c0ccb378a363f (patch) | |
| tree | cd9b1f96fccc78d762b8226cdb2e197ed3e211f8 /docs/Makefile | |
| parent | a354889a3cfd4ed058874713217791d631f14d14 (diff) | |
| download | uca-d6fd2aa572e0fd267c168d93023c0ccb378a363f.tar.gz uca-d6fd2aa572e0fd267c168d93023c0ccb378a363f.tar.bz2 uca-d6fd2aa572e0fd267c168d93023c0ccb378a363f.tar.xz uca-d6fd2aa572e0fd267c168d93023c0ccb378a363f.zip | |
Use a more legible style sheet
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/docs/Makefile b/docs/Makefile index ba95009..53dc6fd 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -1,5 +1,5 @@ PANDOC=$(shell which pandoc) -OPTS=-s --smart +OPTS=-s --smart --toc all: pdf html @@ -11,10 +11,10 @@ clean: rm -f manual.pdf manual.html manual.pdf: manual.md - $(PANDOC) manual.md -o manual.pdf + $(PANDOC) $(OPTS) manual.md -o manual.pdf -manual.html: manual.md - $(PANDOC) $(OPTS) manual.md -o manual.html +manual.html: manual.md style.css + $(PANDOC) $(OPTS) manual.md -H webfonts.html -c style.css -o manual.html ifeq ($(PANDOC),) $(warning Pandoc not found!) |