--- Comment #1 from pinskia at gcc dot gnu dot org 2006-10-27 20:09 ---
This was a bug in texinfo (or what ever was used to convert .texi to html)
IIRC.
This is fixed already correctly anyways.
--
pinskia at gcc dot gnu dot org changed:
What|Removed
--- Comment #2 from gin at mo dot msk dot ru 2006-10-27 20:18 ---
Subject: Re: broken anchor name in html
Confirming that anchor names are consistent in
http://gcc.gnu.org/install/specific.html
Hope that the updated version will get in next gcc release.
--
http://gcc.gnu.org/bug