[GRASS-git] [OSGeo/grass] a7a781: manual: improved HTML page headers (#946)

[Markus Neteler]

  Branch: refs/heads/master
  Home:   https://github.com/OSGeo/grass
  Commit: a7a7817670e79e0785280e31eec0328f8d062cab
      https://github.com/OSGeo/grass/commit/a7a7817670e79e0785280e31eec0328f8d062cab
  Author: Markus Neteler <neteler at gmail.com>
  Date:   2020-08-31 (Mon, 31 Aug 2020)

  Changed paths:
    M lib/gis/parser.c
    M lib/gis/parser_html.c
    M man/build_html.py
    M tools/mkhtml.py

  Log Message:
  -----------
  manual: improved HTML page headers (#946)

SEO: ideally improves search engine ranking of the manual pages