r8137: only recompile when source files change

diff --git a/doc/Makefile b/doc/Makefile
index 55a743f798c5026d9aa19f2248f393ff0f674275..c5a2a08a11cc01cf4f3a7aa4bb150f313598f0d3 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -72,7 +72,8 @@ ${FOFILE}: $(DOCFILES) Makefile
 .PHONY: pdf
 pdf: ${PDFFILE}
 
-${PDFFILE}: ${FOFILE}
+${PDFFILE}: ${DOCFILES} Makefile
+       @$(MAKE) fo
        @fop $(FOFILE) -pdf $(PDFFILE) > /dev/null
 
 .PHONY: dvi
@@ -81,7 +82,8 @@ dvi: ${DVIFILE}
 .PHONY: ps
 ps: ${PSFILE}
 
-${PSFILE}: ${FOFILE}
+${PSFILE}: ${DOCFILES} Makefile
+       @$(MAKE) fo
        @fop $(FOFILE) -ps $(PSFILE) > /dev/null
 
 

diff --git a/doc/html.tar.gz b/doc/html.tar.gz
index 97978d5419a6b4bc8f3557c33b608a93a75cea87..20b130033fac6271160b71f9e51fce28d856408c 100644 (file)
Binary files a/doc/html.tar.gz and b/doc/html.tar.gz differ