diff options
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!) |