[Bug bootstrap/57076] @ in the src directory name causes failure while building of gcc.info

[fxcoudert at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57076

Francois-Xavier Coudert <fxcoudert at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |fxcoudert at gcc dot gnu.org

--- Comment #6 from Francois-Xavier Coudert <fxcoudert at gcc dot gnu.org> ---
Quoting the @ into @@ in gcc-vers.texi does work:

diff --git a/gcc/Makefile.in b/gcc/Makefile.in
index 7b94497b6f2..f2f6452c591 100644
--- a/gcc/Makefile.in
+++ b/gcc/Makefile.in
@@ -3286,7 +3286,7 @@ gcc-vers.texi: $(BASEVER) $(DEVPHASE)
         then echo "@set DEVELOPMENT"; \
         else echo "@clear DEVELOPMENT"; \
         fi) > $@T
-       $(build_file_translate) echo @set srcdir $(abs_srcdir) >> $@T
+       $(build_file_translate) echo @set srcdir `echo $(abs_srcdir) | sed -e
's|@|@@|g'` >> $@T
        if [ -n "$(PKGVERSION)" ]; then \
          echo "@set VERSION_PACKAGE $(PKGVERSION)" >> $@T; \
        fi

I've tested this in a build with a source directory with @ in it. It fixes the
build, and produce correct documentation.