build_dvi(): Make sure we run latex enough times; this now matches the #

	of times pdflatex would be run, which is correct.

diff --git a/Doc/tools/mkhowto.sh b/Doc/tools/mkhowto.sh
index 0541c85bbd9e97a3a7d430b55ee9ba54ecee6bec..6b6bb962c61471e6fd5b5f8ae060ea197405ed4d 100755 (executable)
--- a/Doc/tools/mkhowto.sh
+++ b/Doc/tools/mkhowto.sh
@@ -33,6 +33,7 @@ build_html() {
 }
 
 build_dvi() {
+    latex $1 || exit $?
     latex $1 || exit $?
     if [ -f $1.idx ] ; then
        `dirname $0`/fix_hack $1.idx || exit $?