diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/doc/Makefile b/doc/Makefile index 20d7f43..9fcb39c 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,22 +1,26 @@ -all: images presentation.html +.PHONY: all images clean +all: images presentation.html document.html IMAGES_PGM=$(wildcard ../src/img/*.pgm) IMAGES_PNG=$(IMAGES_PGM:.pgm=.png) .SUFFIXES: .dia .svg -.SUFFIXES: .pgm .png - .dia.svg: dia --export=$@ --filter=svg $< +.SUFFIXES: .pgm .png .pgm.png: convert $< $@ # inkscape --without-gui --export-png=$@.png -h 1024 $@ +.SUFFIXES: .asciidoc .html presentation.html: presentation.asciidoc asciidoc --backend slidy presentation.asciidoc +.asciidoc.html: + asciidoc --backend html $< + images: image/film.svg $(IMAGES_PNG) clean: - rm -f presentation.html $(IMAGES_PNG) + rm -f presentation.html document.html $(IMAGES_PNG) |