[DOC] Fix make html of installation manual

Gerald Pfeifer gerald@pfeifer.com
Sun Sep 30 22:57:00 GMT 2007


On Sat, 22 Sep 2007, Manuel López-Ibáñez wrote:
> Ok to commit to trunk (and perhaps to branches) ?

I'm not a build machinery maintainer, but as doc maintainer and the
one who originally oversaw the migration of the installation manual
to texinfo format I agree with your analysis and if it fixes the problem 
let's go for it.

So, fine for mainline and after a while (and the release of GCC 4.2.2)
the 4.2 branch.  Probably not worth doing for the 4.1 branch, though I
do not feel strongly about that.

:REVIEWPATCH.

> 2007-09-22  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
> 
>  * Makefile.in(build_html_dir/gccinstall): gccinstall.texi requires
> the special script doc/install.texi2html.

There is a missing blank after Makefile.in and I suggest to replace the
use of "requires" (which suggests a Makefile dependency) by "needs to be
processed with..." or something similar.

Gerald


More information about the Gcc-patches mailing list