doc: (really) fix pdflatex calls repeatition

doc/doxygen/Makefile.am

@@ -267,13 +267,11 @@ $(DOX_PDF): $(DOX_TAG) refman.tex
 	! < refman.log grep -v group__ | grep -v _amgrp | grep -v deprecated__ | grep "multiply defined" || exit 1 ;\
 	$(MAKEINDEX) refman.idx ;\
 	max_print_line=1000000 $(PDFLATEX) -interaction batchmode refman.tex ;\
-	repeat=5 ;\
-	while test $$repeat -gt 0; do \
+	for i in $(shell seq 1 5); do \
            if $(EGREP) 'Rerun (LaTeX|to get cross-references right)' refman.log > /dev/null 2>&1; then \
 	       max_print_line=1000000 $(PDFLATEX) -interaction batchmode refman.tex; \
-	       repeat=`expr $$repeat - 1`; \
 	   else \
-	       repeat=0; \
+		break ; \
 	   fi; \
 	done
 	mv $(DOX_LATEX_DIR)/refman.pdf $(DOX_PDF)

doc/doxygen_dev/Makefile.am

@@ -217,13 +217,11 @@ $(DOX_PDF): $(DOX_TAG) refman.tex
 	! < refman.log grep -v group__ | grep -v _amgrp | grep -v deprecated__ | grep "multiply defined" || exit 1 ;\
 	$(MAKEINDEX) refman.idx ;\
 	max_print_line=1000000 $(PDFLATEX) -interaction batchmode refman.tex ;\
-	repeat=5 ;\
-	while test $$repeat -gt 0; do \
+	for i in $(shell seq 1 5); do \
            if $(EGREP) 'Rerun (LaTeX|to get cross-references right)' refman.log > /dev/null 2>&1; then \
 	       max_print_line=1000000 $(PDFLATEX) -interaction batchmode refman.tex; \
-	       repeat=`expr $$repeat - 1`; \
 	   else \
-	       repeat=0; \
+		break ; \
 	   fi; \
 	done
 	mv $(DOX_LATEX_DIR)/refman.pdf $(DOX_PDF)