Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Open
wants to merge 12 commits into
base: master
Choose a base branch
from
Open

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

wants to merge 12 commits into from

Commits on Apr 16, 2023

  1. add a link to the main README to make the landing page

    Mischa committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    9798d60 View commit details
    Browse the repository at this point in the history

  2. hide the navigation pannel in HTML as we have a single file only

    Mischa committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    a6c20ad View commit details
    Browse the repository at this point in the history

  3. add configuration for mkdocs

    Mischa committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    1b6d1ec View commit details
    Browse the repository at this point in the history

  4. add a comment

    Mischa committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    7b0d5f5 View commit details
    Browse the repository at this point in the history

  5. rm cross-reference links to translations

    Mischa committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    2a1b804 View commit details
    Browse the repository at this point in the history

  6. add complete navigation panel

    Mischa committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    fdf7945 View commit details
    Browse the repository at this point in the history

  7. rm cross-reference links to translations

    Mischa committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    98d6aae View commit details
    Browse the repository at this point in the history

  8. ensure that all sections in navigation are expanded

    Mischa committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    53181ec View commit details
    Browse the repository at this point in the history

  9. downgrade sections from level-1 to level-2 to ensure that they appear… 

    … in the TOC on the rigth
    Mischa committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    8457cb2 View commit details
    Browse the repository at this point in the history

  10. add links to the markdown files on github

    Mischa committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    97e4e66 View commit details
    Browse the repository at this point in the history

  11. set explicitely the direction of the language to have the right layou… 

    …t in HTML (no effect on MD in github)
    Mischa committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    8afc167 View commit details
    Browse the repository at this point in the history

  12. add github actions

    Mischa committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    4902dac View commit details
    Browse the repository at this point in the history