[Bug libgcc/87265] makeinfo cannot process path names with @ special character

[yellowriver2010 at hotmail dot com]

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

--- Comment #2 from Wen Yang <yellowriver2010 at hotmail dot com> ---
The latest GCC also has the same problem.

make[3]: Entering directory '/home/10156314@zte.intra/build_gcc/gcc'
if [ xinfo = xinfo ]; then \
        makeinfo --split-size=5000000 --split-size=5000000 --split-size=5000000
--no-split -I . -I ../../gcc/gcc/doc \
                -I ../../gcc/gcc/doc/include -o doc/gcc.info
../../gcc/gcc/doc/gcc.texi; \
fi
../../gcc/gcc/doc/invoke.texi:1783: unknown command `zte'
../../gcc/gcc/doc/invoke.texi:1783: @include: could not find
/home/10156314.intra/build_gcc/gcc/../../gcc/gcc/../libiberty/at-file.texi
Makefile:3232: recipe for target 'doc/gcc.info' failed
make[3]: *** [doc/gcc.info] Error 1



 1783 @include @value{srcdir}/../libiberty/at-file.texi
 1784 @end table