[DOC] Fix make html of installation manual

Joseph S. Myers joseph@codesourcery.com
Sun Sep 23 15:25:00 GMT 2007

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 

Joseph S. Myers

More information about the Gcc-patches mailing list