Fixed documentation Makefile to work correctly when updateing web from clean sources.

darcs-hash:20071023141941-f2ef6-ecc663f5465c6f176462d065549b98cbe92c77e0.gz

diff --git a/doc/Makefile b/doc/Makefile
index 9298015b9d5f1520ae6cd3829ff40f95348c89e2..c56449efc67224ffb35bf14c5f4153e660f77b28 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -8,14 +8,14 @@ PDF_FIGS = $(patsubst %.png,%.pdf,$(PNG_FIGS))
 %.pdf: %.png
        convert $< -density 150 $@
 
-%.pdf: %.texinfo $(PDF_FIGS)
+$(SOURCE).pdf: $(SOURCE).texinfo $(PDF_FIGS)
        texi2dvi --pdf $<
        texi2dvi --pdf $<
 
-%.txt: %.texinfo
+$(SOURCE).txt: $(SOURCE).texinfo
        makeinfo --no-headers --force -o $@ $<
 
-%.html: %.texinfo
+$(SOURCE).html: $(SOURCE).texinfo
        makeinfo --html --no-split -o $@ $<
 #      texi2html --l2h $<
 # Fix texinfo HTML output