%.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