Specify that we use framagit as a gitlab instance

[simgrid.git] / docs / source / _templates / breadcrumbs.html

diff --git a/docs/source/_templates/breadcrumbs.html b/docs/source/_templates/breadcrumbs.html
new file mode 100644 (file)
index 0000000..631fd76
--- /dev/null
+++ b/docs/source/_templates/breadcrumbs.html
@@ -0,0 +1,15 @@
+{%- extends "sphinx_rtd_theme/breadcrumbs.html" %}
+
+{# We use framagit and not gitlab, and we don't want to add a link on generated pages #}
+
+{% block breadcrumbs_aside %}
+  <li class="wy-breadcrumbs-aside">
+    {% if hasdoc(pagename) and pagename != "search" and pagename != "genindex" %}
+    {# TODO: How to rule out all java pages? 
+     #    (not re.match(pagename, "java/org/simgrid"))
+     # fails because re is not imported #}
+     
+      <a href="{{ meta['framagit_url'] }}" class="fa fa-bitbucket"> {{ _('Edit on FramaGit') }}</a>
+    {% endif %}
+  </li>                  
+{% endblock %}