[gdb/doc] Escape the '@' symbols in generated texinfo files.

'@' is a special symbol meaning 'command' in GNU texinfo.

If the GDBINIT or GDBINIT_DIR path during configuration
included an '@' character, the makeinfo command would fail,
as it interpreted the '@' in the path as a start of a command
when expanding the path in the docs.

This patch simply escapes any '@' characters in the path,
by replacing them with '@@'. This was already done for the
bugurl variable.

This was detected because the 'Jenkins' tool sometimes puts
an '@' in the workspace path.

Approved-By: Tom Tromey <tom@tromey.com>

diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in
index 110b608890578c59f40c91d46abdcc454fa4d38b..70ee9a8b9cbd906a479348820e993dbf4e3d0f6c 100644 (file)
--- a/gdb/doc/Makefile.in
+++ b/gdb/doc/Makefile.in
@@ -429,10 +429,12 @@ GDBvn.texi : version.subst
          echo "@set SYSTEM_READLINE" >> ./GDBvn.new; \
        fi
        if [ -n "$(SYSTEM_GDBINIT)" ]; then \
-         echo "@set SYSTEM_GDBINIT $(SYSTEM_GDBINIT)" >> ./GDBvn.new; \
+         escaped_system_gdbinit=`echo $(SYSTEM_GDBINIT) | sed 's/@/@@/g'`; \
+         echo "@set SYSTEM_GDBINIT $$escaped_system_gdbinit" >> ./GDBvn.new; \
        fi
        if [ -n "$(SYSTEM_GDBINIT_DIR)" ]; then \
-         echo "@set SYSTEM_GDBINIT_DIR $(SYSTEM_GDBINIT_DIR)" >> ./GDBvn.new; \
+         escaped_system_gdbinit_dir=`echo $(SYSTEM_GDBINIT_DIR) | sed 's/@/@@/g'`; \
+         echo "@set SYSTEM_GDBINIT_DIR $$escaped_system_gdbinit_dir" >> ./GDBvn.new; \
        fi
        mv GDBvn.new GDBvn.texi