Run TeX *three* times to get better index, xrefs.
This commit is contained in:
parent
d24e092258
commit
40bc68455a
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue