diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-08-09 21:33:30 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-08-09 21:33:30 +0200 |
| commit | 6fe6d05b56815966b452b0363c9ffd11e1787f85 (patch) | |
| tree | d6519891f8fbc59771a22c73392148d8e8a53982 /Documentation/templates/breadcrumbs.html | |
| parent | 19506bc2873eaf5a201248a4a0a0606f6e022910 (diff) | |
| parent | bf520529b31645688ec93b771f8f68ca20c438f9 (diff) | |
| download | sparse-dev-6fe6d05b56815966b452b0363c9ffd11e1787f85.tar.gz | |
Merge branch 'doc-annot'
* improve presentation of the doc, mainly the sidebar
Diffstat (limited to 'Documentation/templates/breadcrumbs.html')
| -rw-r--r-- | Documentation/templates/breadcrumbs.html | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Documentation/templates/breadcrumbs.html b/Documentation/templates/breadcrumbs.html new file mode 100644 index 00000000..4f22fa9a --- /dev/null +++ b/Documentation/templates/breadcrumbs.html @@ -0,0 +1,11 @@ +{%- extends "sphinx_rtd_theme/breadcrumbs.html" %} + +{% block breadcrumbs_aside %} + {% if hasdoc(pagename) %} + <li class="wy-breadcrumbs-aside"> + {% if show_source and has_source and sourcename %} + <a href="{{ pathto('_sources/' + sourcename, true)|e }}" rel="nofollow"> {{ _('View page source') }}</a> + {% endif %} + </li> + {% endif %} +{% endblock %} |