--- gdb-7.9/gdb/doc/Makefile.in~	2015-09-09 15:13:11.798848926 +0000

+++ gdb-7.9/gdb/doc/Makefile.in	2015-09-09 15:15:11.290626061 +0000

@@ -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-doc

 READLINE_TEXI_INCFLAG = @READLINE_TEXI_INCFLAG@

 # The GDB/MI docs come from a sibling directory ../mi