diff options
| author | Roland Pesch <pesch@cygnus> | 1992-03-14 00:05:37 +0000 |
|---|---|---|
| committer | Roland Pesch <pesch@cygnus> | 1992-03-14 00:05:37 +0000 |
| commit | 40bc68455a348fe1b1e68806450c41f60a64d098 (patch) | |
| tree | f6583505a1f81f41808f126b415fe1ec41645a34 /gdb/doc/Makefile.in | |
| parent | d24e09225850d6346060a4cbf204e9c4408a7341 (diff) | |
| download | gdb-40bc68455a348fe1b1e68806450c41f60a64d098.zip gdb-40bc68455a348fe1b1e68806450c41f60a64d098.tar.gz gdb-40bc68455a348fe1b1e68806450c41f60a64d098.tar.bz2 | |
Run TeX *three* times to get better index, xrefs.
Diffstat (limited to 'gdb/doc/Makefile.in')
| -rw-r--r-- | gdb/doc/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index 6f769bd..7c62e16 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -191,6 +191,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 mv gdb-${CONFIG}.dvi ./gdb.dvi |