diff options
Diffstat (limited to 'gdb')
| -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 |