Put page name first in <title>s

[jidanni]

Idea: Instead of <title>s like

• <title>GRASS GIS manual: v.edit</title>

use

• <title>v.edit - GRASS GIS Manual</title>

That way the individual titles will still be visible on a bar of tabs in the browser.

In fact the browser always puts its own name at the end too. As seen at the very top of the image.

[jidanni]

In fact also standardize on "Manual". Some pages have "manual".

[wenzeslaus]

I agree. This makes sense and it would be very useful. If anybody can do a PR, please go ahead.

[neteler]

Pls try ​https://github.com/OSGeo/grass/pull/248

[jidanni]

OK I hope that fixes all hundred pages.

[neteler]

Replying to jidanni:

OK I hope that fixes all hundred pages.

Yes!

For example:

• https://grass.osgeo.org/grass79/manuals/t.vect.list.html
• https://grass.osgeo.org/grass79/manuals/d.rast.html

I'll backport it as soon as G 7.8.2 is out, hence keeping this ticket open.

[neteler]

Backport to G78 done as well:

• https://grass.osgeo.org/grass78/manuals/t.vect.list.html
• https://grass.osgeo.org/grass78/manuals/d.rast.html

Closing. Feel free to reopen if anything is missing.