diff options
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile new file mode 100644 index 0000000..f92bfc9 --- /dev/null +++ b/docs/Makefile @@ -0,0 +1,22 @@ +PANDOC=$(shell which pandoc) +MD2PDF=$(shell which markdown2pdf) +OPTS=-s --smart + +all: pdf html + +pdf: manual.pdf + +html: manual.html + +clean: + rm -f manual.pdf manual.html + +manual.pdf: manual.md + $(MD2PDF) -o manual.pdf manual.md + +manual.html: manual.md + $(PANDOC) $(OPTS) manual.md -o manual.html + +ifeq ($(PANDOC),) + $(warning Pandoc not found!) +endif |