Re: [wwwdocs] */changes.html -- replace by id attributes

On Sun, 26 Aug 2018, Gerald Pfeifer wrote: > More of the same, though this a bit more involved since we cannot use > version numbers as ids (which may not start with a digit unfortunately). Plus two further ids "sanitized". Committed on top. Gerald Index: gcc-3.4/changes.html =

[wwwdocs] */changes.html -- replace by id attributes

More of the same, though this a bit more involved since we cannot use version numbers as ids (which may not start with a digit unfortunately). Committed. Gerald Replace by id attributes. Use GCCX.Y instead of X.Y for ids since those must not start with a digit. Index: gcc-3.1/changes.html =