Infoseiten bearbeiten

Die Infoseiten der Veranstaltung werden in diesem Github Repository gepflegt. Die Quelle sind Markdown-Dateien, die Webversion wird wie bei den Leitfäden von der lernOS Produktionskette erzeugt. Als Theme verwenden wir Read the Docs. So können die Seiten geändert werden:

1. Repo mit Github Desktop klonen
2. Dateien ändern (z.B. mit Visual Studio Code)
3. Einzelne Änderungen einchecken (commit), sprechende Beschreibung ergänzen
4. Repo pushen
5. Nach ca. 1 Minute ist die neue Version der Infoseiten verfügbar

Tipp: mit lokal installiertem mkdocs und mkdocs-material kann man die Infoseiten über mkdocs serve auch lokal testen, bevor man das Repo pusht.