.PHONY: pdf
pdf: ${PDFFILE}
-${PDFFILE}: ${FOFILE}
+${PDFFILE}: ${DOCFILES} Makefile
+ @$(MAKE) fo
@fop $(FOFILE) -pdf $(PDFFILE) > /dev/null
.PHONY: dvi
.PHONY: ps
ps: ${PSFILE}
-${PSFILE}: ${FOFILE}
+${PSFILE}: ${DOCFILES} Makefile
+ @$(MAKE) fo
@fop $(FOFILE) -ps $(PSFILE) > /dev/null