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
