This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: RFA: Build doc files in build directory not source directory
Hi Florian,
> > The patch below changes gcc's makefile so that info files and man
> > pages are created in the build tree and not the source tree. This
> > allows these files to be created even if the sources are mounted on
> > a read-only partition. It also updates the install-info target to
> > handle an arbitrary set of info files, making it simpler to add new
> > files in the future.
>
> Doesn't this break the generation of the web docs?
Err I don't know. How are the web docs built from the sources ?
Cheers
Nick