diff -r 6787754b251b -r b6572d0336c3 doc/doxygen/latex/Makefile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/doxygen/latex/Makefile	Mon Jun 04 17:59:50 2007 +0200
@@ -0,0 +1,17 @@
+all: clean refman.pdf
+
+refman.pdf: refman.tex
+	pdflatex refman.tex
+	makeindex refman.idx
+	pdflatex refman.tex
+	latex_count=5 ; \
+	while egrep -s 'Rerun (LaTeX|to get cross-references right)' refman.log && [ $$latex_count -gt 0 ] ;\
+	    do \
+	      echo "Rerunning latex...." ;\
+	      pdflatex refman.tex ;\
+	      latex_count=`expr $$latex_count - 1` ;\
+	    done
+
+
+clean:
+	rm -f *.ps *.dvi *.aux *.toc *.idx *.ind *.ilg *.log *.out refman.pdf