This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [DOC] Fix make html of installation manual
On 23/09/2007, Joseph S. Myers <joseph@codesourcery.com> wrote:
> On Sat, 22 Sep 2007, Manuel López-Ibáñez wrote:
>
> > * Makefile.in(build_html_dir/gccinstall): gccinstall.texi requires
> > the special script doc/install.texi2html.
>
> The Texinfo conversion of the installation manual predated proper
> multi-file HTML output support in makeinfo. It would be nice to clean up
> the installation manual to use normal makeinfo --html instead of a special
> script (while still keeping the established URLs for the individual parts
> of the manual, without needing redirects if possible) and to eliminate all
> the @html, @ifhtml, @ifnothtml conditionals scattered throughout
> install.texi.
Yes, it would be nice. I gave it a try but it is not obvious to me how
texinfo and "makeinfo --html" interact in order to produce the
correct links.
I think the patch at least fixes a bug. When (and if) the
documentation is fixed, the script can be removed and the makefile
updated.
An alternative patch could embed the script commands in the Makefile
(which actually uses makeinfo --html but in a contrived way) but I
believe that would be a worse approach.
Cheers,
Manuel.