The anchors created by makeinfo --html are not stable. This means that links to anchors become outdated quickly. For example, the links to options in
http://gcc.gnu.org/gcc-4.5/changes.html are already broken. -- Summary: stable anchors needed Product: gcc Version: unknown Status: UNCONFIRMED Severity: normal Priority: P3 Component: web 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=43887