comparison docs/conf.py @ 265:e5ea2f955986

Optimize documentation layout: use a local ToC where appropriate (lexers, filters)
author Franz Glasner <fzglas.hg@dom66.de>
date Tue, 19 May 2026 18:50:24 +0200
parents 2e78e255b54e
children 051c8877ee22
comparison
equal deleted inserted replaced
264:3dce08f06ecc 265:e5ea2f955986
124 # https://www.sphinx-doc.org/en/master/usage/configuration.html#options-for-html-output 124 # https://www.sphinx-doc.org/en/master/usage/configuration.html#options-for-html-output
125 125
126 html_static_path = ['_static'] 126 html_static_path = ['_static']
127 html_extra_path = ['../LICENSES'] 127 html_extra_path = ['../LICENSES']
128 html_copy_source = True 128 html_copy_source = True
129 html_show_sourcelink = False 129 html_show_sourcelink = False # place a manual link on some selected pages only
130 #html_sidebars = { 130 #html_sidebars = {
131 # '**': [ 131 # '**': [
132 # 'localtoc.html', # a fine-grained table of contents of the 132 # 'localtoc.html', # a fine-grained table of contents of the
133 # # current document 133 # # current document
134 # 'globaltoc.html', # a coarse-grained table of contents for the 134 # 'globaltoc.html', # a coarse-grained table of contents for the