[Bug web/15263] configure.html: end tag for element "H4" which is not open...

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2004-06-18 10:13 -------
The trouble in configure.html is caused by a bug in makeinfo 4.6
which is used to generate the webpages on the server.

According to
  http://lists.gnu.org/archive/html/bug-texinfo/2004-01/msg00079.html
this is fixed in makeinfo 4.7. (I'm running 4.7, too, and it really
seems to be fixed.)

Time to update the makeinfo version on the gcc server. :-)


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15263