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/layout.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/layout.html')
| -rw-r--r-- | Documentation/templates/layout.html | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Documentation/templates/layout.html b/Documentation/templates/layout.html new file mode 100644 index 00000000..a2fe215f --- /dev/null +++ b/Documentation/templates/layout.html @@ -0,0 +1,8 @@ +{% extends "!layout.html" %} +{% block menu %} + {{ super() }} + <p class="caption"><span class="caption-text">Index</span></p> + <ul> + <li class="toctree-l1"><a class="reference internal" href="{{ pathto('genindex') }}">Index</a></li> + </ul> +{% endblock %} |