diff options
Diffstat (limited to 'docs/Makefile')
-rw-r--r-- | docs/Makefile | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile new file mode 100644 index 0000000..2b85134 --- /dev/null +++ b/docs/Makefile @@ -0,0 +1,10 @@ + +.PHONY: all +DOCS := $(wildcard *.mkd) +all: $(DOCS:.mkd=.pdf) + +%.pdf: %.mkd + pandoc -o $@ $< + +clean: + rm -f *.html *.pdf *~ |