From 40bc68455a348fe1b1e68806450c41f60a64d098 Mon Sep 17 00:00:00 2001 From: Roland Pesch Date: Sat, 14 Mar 1992 00:05:37 +0000 Subject: [PATCH] Run TeX *three* times to get better index, xrefs. --- gdb/doc/Makefile.in | 1 + 1 file changed, 1 insertion(+) diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index 6f769bdc41f..7c62e16cec0 100644 --- 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 -- 2.30.2