docs/source/_templates/breadcrumbs.html

   1 {%- extends "sphinx_rtd_theme/breadcrumbs.html" %}
   2
   3 {# We use framagit and not gitlab, and we don't want to add a link on generated pages #}
   4
   5 {% block breadcrumbs_aside %}
   6   <li class="wy-breadcrumbs-aside">
   7     {% if hasdoc(pagename) and pagename != "search" and pagename != "genindex" %}
   8     {# TODO: How to rule out all java pages?
   9      #    (not re.match(pagename, "java/org/simgrid"))
  10      # fails because re is not imported #}
  11
  12       <a href="{{ meta['framagit_url'] }}" class="fa fa-bitbucket"> {{ _('Edit on FramaGit') }}</a>
  13     {% endif %}
  14   </li>
  15 {% endblock %}