diff options
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/docs/Makefile b/docs/Makefile index ff7113d..53dc6fd 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -10,15 +10,11 @@ html: manual.html clean: rm -f manual.pdf manual.html -manual.pdf: manual.md gen-changelog - ./gen-changelog - $(PANDOC) $(OPTS) manual.md z-changes-*.md -o manual.pdf - rm z-changes-*.md +manual.pdf: manual.md + $(PANDOC) $(OPTS) manual.md -o manual.pdf -manual.html: manual.md style.css gen-changelog - ./gen-changelog - $(PANDOC) $(OPTS) manual.md z-changes-*.md -H webfonts.html -c style.css -o manual.html - rm z-changes-*.md +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!) |