From: Michal Sojka <sojkam1@fel.cvut.cz>
Date: Mon, 22 Oct 2007 17:23:00 +0000 (+0000)
Subject: Fixex for building documentation on server.
X-Git-Tag: v0.1~79
X-Git-Url: http://rtime.felk.cvut.cz/gitweb/omk.git/commitdiff_plain/5eb43d38c1aac0abee67c2499b644008d5b31d9e?ds=sidebyside

Fixex for building documentation on server.

darcs-hash:20071022172322-f2ef6-1702508a7b5eaf0b7594982e006b40cc3c60f6e2.gz
---

diff --git a/doc/Makefile b/doc/Makefile
index 30da936..3736edc 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -9,7 +9,8 @@ PDF_FIGS = $(patsubst %.png,%.pdf,$(PNG_FIGS))
 	convert $< -density 150 $@
 
 %.pdf: %.texinfo $(PDF_FIGS)
-	texi2pdf $<
+	texi2dvi --pdf $<
+	texi2dvi --pdf $<
 
 %.txt: %.texinfo
 	makeinfo --no-headers --force -o $@ $<