From: Kevin M. Rosenberg <kevin@rosenberg.net>
Date: Tue, 11 Nov 2003 11:05:40 +0000 (+0000)
Subject: r8137: only recompile when source files change
X-Git-Tag: v1.6.1~160
X-Git-Url: http://git.kpe.io/?a=commitdiff_plain;h=9aefc11ea0e7f96718f05c96e4b9c703e365d441;p=uffi.git

r8137: only recompile when source files change
---

diff --git a/doc/Makefile b/doc/Makefile
index 55a743f..c5a2a08 100644
--- 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 97978d5..20b1300 100644
Binary files a/doc/html.tar.gz and b/doc/html.tar.gz differ