Make exec-file-mismatch compare build IDs

[deliverable/binutils-gdb.git] / gdb / doc / Makefile.in

diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in
index 2bb8a3051bb92f25f2721e20b5a00a7fdd3fd71d..65b5eaa91e7780d8cae7f1350d3e16768db00ee6 100644 (file)
--- a/gdb/doc/Makefile.in
+++ b/gdb/doc/Makefile.in
@@ -1,4 +1,4 @@
-##Copyright (C) 1991-2019 Free Software Foundation, Inc.
+##Copyright (C) 1991-2020 Free Software Foundation, Inc.
 
 # Makefile for GDB documentation.
 # This file is part of GDB.
@@ -41,6 +41,7 @@ INSTALL_PROGRAM = @INSTALL_PROGRAM@
 INSTALL_DATA = @INSTALL_DATA@
 
 SYSTEM_GDBINIT = @SYSTEM_GDBINIT@
+SYSTEM_GDBINIT_DIR = @SYSTEM_GDBINIT_DIR@
 
 mkinstalldirs = $(SHELL) $(srcdir)/../../mkinstalldirs
 
@@ -74,7 +75,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
@@ -425,6 +426,9 @@ GDBvn.texi : version.subst
        if [ -n "$(SYSTEM_GDBINIT)" ]; then \
          echo "@set SYSTEM_GDBINIT $(SYSTEM_GDBINIT)" >> ./GDBvn.new; \
        fi
+       if [ -n "$(SYSTEM_GDBINIT_DIR)" ]; then \
+         echo "@set SYSTEM_GDBINIT_DIR $(SYSTEM_GDBINIT_DIR)" >> ./GDBvn.new; \
+       fi
        mv GDBvn.new GDBvn.texi
 
 version.subst: $(gdbdir)/version.in $(gdbdir)/../bfd/version.h