doc: Do not convert png images to pdf

It is not necessary as pdftex handles png images as well as pdfs.

diff --git a/doc/Makefile b/doc/Makefile
index 8d85f0c0fef83b8d6e9bbb441e430504b964199e..b3774c39e5bd22773f417b6bd22fdc0136efa848 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -16,7 +16,7 @@ PDF_FIGS = $(patsubst %.png,%.pdf,$(PNG_FIGS))
 %.pdf: %.png
        convert $< -density 150 $@
 
-%.pdf: %.texinfo $(PDF_FIGS) .version
+%.pdf: %.texinfo $(PNG_FIGS) .version
        texi2dvi --pdf $<
        texi2dvi --pdf $<