diff options
| -rw-r--r-- | gdb/doc/Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index f993033..0dea896 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -118,10 +118,10 @@ refcard.ps : refcard.tex # Cover file for "Readline" appendices rdl-apps.texi: ${READLINE_DIR}/doc/rluser.texinfo \ - ${READLINE_DIR}/doc/hsuser.texinfo + ${READLINE_DIR}/doc/inc-hist.texi rm -f rdl-apps.texi echo "@include ${READLINE_DIR}/doc/rluser.texinfo" >rdl-apps.texi - echo "@include ${READLINE_DIR}/doc/hsuser.texinfo" >>rdl-apps.texi + echo "@include ${READLINE_DIR}/doc/inc-hist.texi" >>rdl-apps.texi # File to record current GDB version number (copied from main dir Makefile.in) gdbVN.m4 : ${gdbdir}/Makefile.in |