doc/manual.pdf

[Pavel Gorshkov <gorshkov.pavel@xxxxxxxxx>]

There is a target named `manual.pdf' in doc/Makefile.am, but the
resulting PDF file has a lot of undefined references.

To get a neat looking PDF manual, one needs to run pdfjadetex
*three* times in a row, so please review the attached patch for
inclusion in CVS.

Thanks.

--
Pavel Gorshkov

--- doc/Makefile.am.orig        Tue Nov 14 21:56:29 2006
+++ doc/Makefile.am     Tue Dec  5 20:49:08 2006
@@ -82,7 +82,8 @@
 
 check:
 manual.txt: manual.html
-       -lynx -dump -nolist -with_backspaces $^ > $@ || w3m -dump $^ > $@
+       -lynx -dump -nolist -with_backspaces $^ > $@ || w3m -dump $^ > $@ || \
+           elinks -dump -no-numbering -no-references $^ > $@
 
 manual.html: $(srcdir)/html.xsl stamp-doc-xml
        -xsltproc --nonet -o $@ $(srcdir)/html.xsl manual.xml
@@ -92,7 +93,9 @@
        touch stamp-doc-chunked
 
 manual.pdf: manual.tex
-       -if test -f manual.tex; then pdfjadetex manual.tex; fi
+       -if test -f manual.tex; then \
+           pdfjadetex $^; pdfjadetex $^; pdfjadetex $^; \
+       fi
 
 manual.tex: stamp-doc-xml
        -if test -n "$(DSLROOT)"; then \