diff options
| -rw-r--r-- | docs/_templates/my_custom_sidebar.html | 3 | ||||
| -rw-r--r-- | docs/conf.py | 1 |
2 files changed, 4 insertions, 0 deletions
diff --git a/docs/_templates/my_custom_sidebar.html b/docs/_templates/my_custom_sidebar.html new file mode 100644 index 000000000..6b259bc93 --- /dev/null +++ b/docs/_templates/my_custom_sidebar.html @@ -0,0 +1,3 @@ +<ul class="globaltoc"> +{{ toctree(maxdepth=theme_globaltoc_depth|toint, collapse=False,includehidden=theme_globaltoc_includehidden|tobool) }} +</ul>
\ No newline at end of file diff --git a/docs/conf.py b/docs/conf.py index 72bc27fb5..3060d82a1 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -263,6 +263,7 @@ texinfo_documents = [ 'Miscellaneous'), ] +html_sidebars = {'**': ['my_custom_sidebar.html']} # Documents to append as an appendix to all manuals. # texinfo_appendices = [] |