diff options
| author | Simon Chopin <chopin.simon@gmail.com> | 2012-08-24 23:48:27 +0200 |
|---|---|---|
| committer | Simon Chopin <chopin.simon@gmail.com> | 2012-08-24 23:51:41 +0200 |
| commit | 81791dee9d1fdac41961698a2a6ba6e5b8f037cb (patch) | |
| tree | d1b8606f04f0a88c0b31272b2bdfe6e6eeb3fb5c /docs | |
| parent | fba2709662c03ce128d4ec946ce4f5f73e46eaaa (diff) | |
Reenable the sidebar in the HTML documentation
Without this sidebar it is not possible to use the search feature of the
documentation.
This patch will be shipped with the Debian package — no point in fixing
the search feature if it remains hidden ;-).
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/source/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/source/conf.py b/docs/source/conf.py index 42793f9c..039ef980 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -133,7 +133,7 @@ html_theme = 'default' # Theme options are theme-specific and customize the look and feel of a theme # further. For a list of options available for each theme, see the # documentation. -html_theme_options = {'nosidebar': True} +html_theme_options = {} # Add any paths that contain custom themes here, relative to this directory. #html_theme_path = [] |