diff options
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 2bb8a30..2673499 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -74,7 +74,7 @@ BUGURL_TEXI = @REPORT_BUGS_TEXI@ # Where is the source dir for the READLINE library doc? # Traditionally readline is in .. or . -READLINE_DIR = ${gdbdir}/../readline/doc +READLINE_DIR = ${gdbdir}/../readline/readline/doc READLINE_TEXI_INCFLAG = @READLINE_TEXI_INCFLAG@ # The GDB/MI docs come from a sibling directory ../mi |