diff options
Diffstat (limited to 'manual/Makefile')
| -rw-r--r-- | manual/Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/manual/Makefile b/manual/Makefile index 93788763..63b529c1 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -2,8 +2,11 @@ sources = $(wildcard *.mdwn) all: manual.pdf manual.html -manual.pdf: $(sources) +manual.pdf: Makefile $(sources) pandoc --toc --chapters -o manual.pdf $(sources) -manual.html: $(sources) +manual.html: Makefile $(sources) pandoc --toc --chapters --standalone -o manual.html $(sources) + +clean: + rm -f manual.pdf manual.html |