move "How to build documentation"

This is currently under the Gitlab section, it should go to the "About this documentation" section.

Under Gitlab it would still be nice to have an example of how to do it with a CI/CD chain, which could refer to this page for details