diff -r f0138e72be4e -r 47972dce0be0 Makefile
--- a/Makefile	Mon Apr 20 23:49:11 2015 +0200
+++ b/Makefile	Tue Apr 21 22:15:16 2015 +0200
@@ -11,17 +11,17 @@
 .PHONY:	all clean pdf html
 
 
-all:	html pdf
+all:	html pdf 
 clean:	; rm -f ${HTML} ${PDF}
 
 pdf:	${PDF}
 html:	${HTML}
 
-out/%.pdf:		%.txt
+out/%.pdf:		%.txt $(MAKEFILE_LIST) short.conf
 		@mkdir -p ${dir $@}
-		a2x --asciidoc-opts="${AOPTS}" -D ${dir $@} $<
+		a2x -k --asciidoc-opts="${AOPTS}" -D ${dir $@} $<
 
-out/%.html:		%.txt
+out/%.html:		%.txt $(MAKEFILE_LIST) short.conf
 		@mkdir -p ${dir $@}
 #		asciidoc -a revision="${REVISION}" -a date="${DATE}" -o $@ $<
 		asciidoc ${AOPTS} -o $@ $<