diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/doc/Makefile b/doc/Makefile index 9fcb39c..3119612 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,5 +1,5 @@ .PHONY: all images clean -all: images presentation.html document.html +all: images presentation.html documentation.html documentation.pdf IMAGES_PGM=$(wildcard ../src/img/*.pgm) IMAGES_PNG=$(IMAGES_PGM:.pgm=.png) @@ -17,10 +17,12 @@ IMAGES_PNG=$(IMAGES_PGM:.pgm=.png) presentation.html: presentation.asciidoc asciidoc --backend slidy presentation.asciidoc -.asciidoc.html: +.txt.html: asciidoc --backend html $< images: image/film.svg $(IMAGES_PNG) clean: - rm -f presentation.html document.html $(IMAGES_PNG) + rm -f presentation.html documentation.html $(IMAGES_PNG) + +include asciidoc-boilerplate/thesis.mk |