[GRASS-dev] GRASS manual layout overhaul: less redundancy, more compact

[Markus Neteler]

I have modified
  tools/build_html_index.sh
to generate more compact HTML pages, also with less redundancy:

http://grass.osgeo.org/grass64/manuals/html64_user/index.html

(also 6.4.0svn and 7, also validated in http://validator.w3.org/).

Feel free to further fine tune.

Markus