projects
/
uffi.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
r8137: only recompile when source files change
[uffi.git]
/
doc
/
Makefile
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}
.PHONY: pdf
pdf: ${PDFFILE}
-${PDFFILE}: ${FOFILE}
+${PDFFILE}: ${DOCFILES} Makefile
+ @$(MAKE) fo
@fop $(FOFILE) -pdf $(PDFFILE) > /dev/null
.PHONY: dvi
@fop $(FOFILE) -pdf $(PDFFILE) > /dev/null
.PHONY: dvi
@@
-81,7
+82,8
@@
dvi: ${DVIFILE}
.PHONY: ps
ps: ${PSFILE}
.PHONY: ps
ps: ${PSFILE}
-${PSFILE}: ${FOFILE}
+${PSFILE}: ${DOCFILES} Makefile
+ @$(MAKE) fo
@fop $(FOFILE) -ps $(PSFILE) > /dev/null
@fop $(FOFILE) -ps $(PSFILE) > /dev/null