diff --git a/docs/_templates/breadcrumbs.html b/docs/_templates/breadcrumbs.html deleted file mode 100644 index 6d256c13a01b54848281be38dadfc95993c18aa5..0000000000000000000000000000000000000000 --- a/docs/_templates/breadcrumbs.html +++ /dev/null @@ -1,15 +0,0 @@ -{% extends "!breadcrumbs.html" %} - -{# Overrides RTD's default "View page source" link formatting, which - forces the full page name in the link; but we don't want it because - page names include the repo, eg. "swh-model/index". - The view_in_gitlab.py extension sets swh_source_url to - ".../source/swh-model/browse/master/docs/index" -#} -{%- block breadcrumbs_aside %} - <li class="wy-breadcrumbs-aside"> - {%- if hasdoc(pagename) and display_vcs_links %} - <a href="{{ swh_source_url }}{{ page_source_suffix }}?plain=1">{{ _('View page source') }}</a> - {% endif %} - </li> -{%- endblock %}