# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1619168663 -7200
# Node ID 0e9e97777fe02fafdf3c7ee691b52b2c9bf0b00e
# Parent  f47d6ba74a26a36c1157672190825df28e8bf37a
doc: `-` in doc name is replace by `/`:

this is needed for Cagou which is deskop/mobile frontend.

diff -r f47d6ba74a26 -r 0e9e97777fe0 templates/default/doc/doc.html
--- a/templates/default/doc/doc.html	Fri Apr 23 11:01:24 2021 +0200
+++ b/templates/default/doc/doc.html	Fri Apr 23 11:04:23 2021 +0200
@@ -13,7 +13,7 @@
         <div class="tabs">
             <ul>
                 {% for name in all_docs %}
-                    <li class="{{"is-active" if name == doc_name}}"><a href="{{page_url}}/{{name}}">{{name}}</a></li>
+                    <li class="{{"is-active" if name == doc_name}}"><a href="{{page_url}}/{{name}}">{{name|replace('-', '/')}}</a></li>
                 {% endfor %}
             </ul>
         </div>