{%- 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 %}
{% 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 #}
{{ _('Edit on FramaGit') }}
{% endif %}