Grotti 2.2.0: Auth, API-Tokens, MCP und Doku-Trennung.

web/templates/_doc_toc.html

@@ -3,15 +3,12 @@
   <p>Handbuch</p>
   <a href="/doku#grotti" data-sec="grotti" class="{{ 'on' if current == 'start' else '' }}">Was Grotti ist</a>
   <a href="/doku#druck" data-sec="druck">Ein Druck von A bis Z</a>
-  <a href="/doku#ablauf" data-sec="ablauf">Ablauf (Kobra 3)</a>
-  <a href="/doku#seiten" data-sec="seiten">Seiten</a>
+  <a href="/doku#kapitel" data-sec="kapitel">Anleitung</a>
   <a href="/doku#haengt" data-sec="haengt">Wenn etwas hängt</a>
   <a href="/doku#begriffe" data-sec="begriffe">Begriffe</a>
-  <p>Versionen</p>
-  <a href="/doku/changelog" class="{{ 'on' if current == 'changelog' else '' }}">Changelog · v{{ version }}</a>
-  <p>Technik</p>
-  {% for name in docs %}
-  <a href="/doku/{{ name }}" class="{{ 'on' if current == name else '' }}">{{ name | replace('-', ' ') }}</a>
+  <p>Anleitung</p>
+  {% for name in anleitung %}
+  <a href="/doku/{{ name }}" class="{{ 'on' if current == name else '' }}">{{ anleitung_title(name) }}</a>
   {% endfor %}
 </nav>
 {% endmacro %}