Merge https://www.gimp.org/docs/ and docs.gimp.org
Remark from Jehan, taken from issue 232
Jehan
@Wormnest You do have control over the landing page of docs.gimp.org, right? This is what we pushed on oscp the other day, to be able to change it (and have these changes uploaded to actual web server), isn't it?
If so, I wonder if we shouldn't start thinking about whether we should not merge https://www.gimp.org/docs/ and docs.gimp.org. Basically we could make gimp.org/docs just redirect to docs.gimp.org. On the other hand, I see the /docs/ page has a bit more info (links to the books page or to some configuration files help).
We can:
- question where these are needed here (since we also have direct links for the main ones on bottom of GIMP pages and some stuff, like dev-related docs should just go on dev-related pages).
- question whether the info there should not simply be part of the manual (install fonts, set the tile cache?…)
- simply migrate what remains to the landing page on docs.gimp.org?
- other?…