Convert docs to Markdown
Meta MR for the new Markdown-based documentation for hugo+docsy.
Tasks:
-
Convert usermanual from latex to gitlab markdown (!746 (merged), !750 (merged)) -
Adjust module REAMDEs (!722 (merged)) -
Adjust example READMEs (!735 (merged)) -
Adjust tools READMEs (!749 (merged)) -
Document how to edit the documentation (!752 (merged)) -
CMake code to create full Markdown file tree (!758 (merged)) -
Code to build pdf via pandoc conversion (!758 (merged)) -
Enable the doc stage of the CI again (!771 (merged)) -
follow-up #232 (closed) -
follow-up #233 (closed) (!755 (merged))
Closes #147 (closed), #161 (closed)