diff options
author | Daniel Jacobowitz <dan@debian.org> | 2006-05-05 18:26:14 +0000 |
---|---|---|
committer | Daniel Jacobowitz <dan@debian.org> | 2006-05-05 18:26:14 +0000 |
commit | c6fad60c72bac0b0ba1b7912f866caa3a6cb744c (patch) | |
tree | cb1fdaddf8e7f48afb82b1d028764ce7521e34c2 /gdb/doc/Makefile.in | |
parent | c3f93e41631d798ff739e1936c51b29515cd4248 (diff) | |
download | gdb-c6fad60c72bac0b0ba1b7912f866caa3a6cb744c.tar.gz |
Readline 5.1 import for HEAD.
Diffstat (limited to 'gdb/doc/Makefile.in')
-rw-r--r-- | gdb/doc/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index 22782f61593..13792e13340 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -101,7 +101,7 @@ GDB_DOC_SOURCE_INCLUDES = \ $(srcdir)/fdl.texi \ $(srcdir)/gpl.texi \ $(srcdir)/agentexpr.texi \ - $(READLINE_DIR)/rluser.texinfo \ + $(READLINE_DIR)/rluser.texi \ $(READLINE_DIR)/inc-hist.texinfo GDB_DOC_BUILD_INCLUDES = \ gdb-cfg.texi \ |