For explanation and patch see: http://gcc.gnu.org/ml/gcc-patches/2007-09/msg01735.html
-- Summary: make html does not work for install files Product: gcc Version: 4.2.2 Status: UNCONFIRMED Severity: normal Priority: P3 Component: other AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: manu at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33585