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