From e00d63c520f48009706a99ee7db36cf40881d84d Mon Sep 17 00:00:00 2001
From: "Kevin M. Rosenberg" <kevin@rosenberg.net>
Date: Tue, 11 Nov 2003 11:57:00 +0000
Subject: [PATCH] r8143: fix unnecessary building

---
 doc/Makefile | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/doc/Makefile b/doc/Makefile
index e061af2..5314880 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
 
 
-- 
2.34.1