From: Michal Sojka <sojkam1@fel.cvut.cz>
Date: Thu, 17 Feb 2011 23:08:10 +0000 (+0100)
Subject: doc: Do not convert png images to pdf
X-Git-Url: http://rtime.felk.cvut.cz/gitweb/omk.git/commitdiff_plain/3b46f328e437b8c0d151cdc6fbeded8e069b83ee

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 8d85f0c..b3774c3 100644
--- 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 $<