gcc.texi: problem generating documentation

[Ian Lance Taylor]

christophe.jarry@ouvaton.org writes:

> I am contributing to the gNewSense project and I am currently looking
> for a way to create GCC documentation in info format for metad version
> of gNewSense.
>
> I found GCC documentation source at
> http://gcc.gnu.org/onlinedocs/docs-sources.tar.gz, then extracted it
> under /tmp.
>
> But I have a problem when I want to makeinfo 'gcc.texi' file:
>
>   user@machine /tmp/gcc/gcc/doc
>   $ makeinfo gcc.texi
>   gcc.texi:25: @include 'gcc-common.texi': No such file or directory
>   [...]

To make the gcc info files, download the gcc sources and run "make
info".  Or if docs-sources.tar.gz contains a Makefile--I haven't
looked and I don't know what creates that tar file--try running "make
info" with the sources you have.

Ian