Feature: add MkDocs to build HTML and github actions to deploy the docs#122

Open

mlisovyi wants to merge 12 commits intoviraptor:masterfrom mlisovyi:feature/add-GH-actions-to-build-and-deploy-the-docs

+356-461

Commits on Apr 16, 2023

add a link to the main README to make the landing page
Mischa
committed
hide the navigation pannel in HTML as we have a single file only
Mischa
committed
add configuration for mkdocs
Mischa
committed
add a comment
Mischa
committed
rm cross-reference links to translations
Mischa
committed
add complete navigation panel
Mischa
committed
rm cross-reference links to translations
Mischa
committed
ensure that all sections in navigation are expanded
Mischa
committed
downgrade sections from level-1 to level-2 to ensure that they appear in the TOC on the rigth
Mischa
committed
add links to the markdown files on github
Mischa
committed
set explicitely the direction of the language to have the right layout in HTML (no effect on MD in github)
Mischa
committed
add github actions
Mischa
committed