[PATCH] PR other/31569: drop install/{build,test}.html numbering

[Ralf Wildenhues]

* Gerald Pfeifer wrote on Sat, Feb 23, 2008 at 12:59:31PM CET:
> On Sat, 23 Feb 2008, Ralf Wildenhues wrote:
> > In that case, how about this patch to fix
> > <http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31569>
> > OK for trunk?  What about the 4.3 branch?
> 
> This is fine for mainline and the 4.3 branch after the release of
> GCC 4.3.0.

Thanks!  Applied to mainline for now.

> That said, if you look into gcc/doc/install.texi you will see that the
> way we handle HTML output is a bit archaic and involves some "manual"
> work.  This is the case because at the point we created that makeinfo
> did not have the needed support for HTML, but we should be able to
> simplify this now.

Hmm.  Maybe after I'm done with all the trivial stuff ...

Cheers,
Ralf