Run TeX *three* times to get better index, xrefs.

diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in
index 6f769bdc41f48a7883348f4c027d7dc599f9950e..7c62e16cec097b9a82c19b7d88f19090e9c33f91 100644 (file)
--- a/gdb/doc/Makefile.in
+++ b/gdb/doc/Makefile.in
@@ -190,6 +190,7 @@ gdb-all.texi: ${SFILES_DOCDIR}
 
 # GDB MANUAL: TeX dvi file
 gdb.dvi : gdb-${CONFIG}.texi rluser.texinfo inc-hist.texi
+       TEXINPUTS=${TEXIDIR}:.:$(srcdir):$$TEXINPUTS tex gdb-${CONFIG}.texi
        TEXINPUTS=${TEXIDIR}:.:$(srcdir):$$TEXINPUTS tex gdb-${CONFIG}.texi
        texindex gdb-${CONFIG}.??
        TEXINPUTS=${TEXIDIR}:.:$(srcdir):$$TEXINPUTS tex gdb-${CONFIG}.texi