diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/docs/Makefile b/docs/Makefile index f92bfc9..ba95009 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -1,5 +1,4 @@ PANDOC=$(shell which pandoc) -MD2PDF=$(shell which markdown2pdf) OPTS=-s --smart all: pdf html @@ -12,7 +11,7 @@ clean: rm -f manual.pdf manual.html manual.pdf: manual.md - $(MD2PDF) -o manual.pdf manual.md + $(PANDOC) manual.md -o manual.pdf manual.html: manual.md $(PANDOC) $(OPTS) manual.md -o manual.html |