# - The javasphinx output does not exist in the git, so the "open on GitLab" link is broken.
# I'd like to report this as a bug, but javasphinx seems abandonned upstream.
# - public/search.html and public/genindex.html are also generated.
- - linkchecker --check-extern --ignore-url='.*\.css$' --ignore-url=public/java/org --ignore-url=public/search.html --ignore-url public/genindex.html ../public
+ - linkchecker --check-extern --ignore-url='.*\.css$' --ignore-url=public/java/org ../public
artifacts:
paths:
- public
--- /dev/null
+{%- 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 %}
# Add any paths that contain templates here, relative to this directory.
-# templates_path = ['_templates']
+templates_path = ['_templates']
# The suffix(es) of source filenames.
# You can specify multiple suffix as a list of string: ['.rst', '.md']