X-Git-Url: http://rtime.felk.cvut.cz/gitweb/omk.git/blobdiff_plain/a6e1904f9ed9725a6ea1ca0b3d93da323c3c685e..b9827fedcdc33e72b6b16f0834923109e2817546:/doc/Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 9298015..c56449e 100644
--- 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