Fixex for building documentation on server.

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

diff --git a/doc/Makefile b/doc/Makefile
index 30da936bf758374f353e28e93fad3d3d2bf8aedd..3736edc7f0edef5f10bf573b1ab78910c7b44a1d 100644 (file)
--- 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 $@ $<