From 72a83b19f7e895ca2377d796a1d032f228168719 Mon Sep 17 00:00:00 2001 From: Jan Klemkow Date: Fri, 11 Jan 2013 16:44:40 +0100 Subject: Add sources of information. --- doc/Makefile | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) (limited to 'doc/Makefile') 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) -- cgit