[wwwdocs] Trim the navigation bar a bit more

2018-09-08 Thread Gerald Pfeifer
Working on the move to HTML 5 I noticed several opportunities beyond what I did in February 2016: https://gcc.gnu.org/ml/gcc-patches/2016-02/msg00932.html The patch below - changes the "Mission Statement" link to just "Mission", - removes the link to the "Steering Committee" page, which alre

[wwwdocs] Trim the navigation bar

2016-02-14 Thread Gerald Pfeifer
Trim the navigation bar, by - removing "Testing" from the "Documentation" section, - renaming "Further Readings" to "Pointers", - renaming "Mirror Sites" to "Mirrors" under "Download", - renaming ""Live" Sources" to just "Sources", - moving the Git link past both SVN links, - renaming "Rsync