diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index 3688409..0a5d118 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,5 +1,8 @@ all: images presentation.html +IMAGES_PGM=$(wildcard ../src/img/*.pgm) +IMAGES_PNG=$(IMAGES_PGM:.pgm=.png) + .SUFFIXES: .dia .svg .SUFFIXES: .pgm .png @@ -13,7 +16,7 @@ all: images presentation.html presentation.html: presentation.asciidoc asciidoc --backend slidy presentation.asciidoc -images: image/film.svg +images: image/film.svg $(IMAGES_PNG) clean: rm -f presentation.html |