From be65a59c9fd86b5c4d47ddc382e1eb67ec2ce054 Mon Sep 17 00:00:00 2001 From: Jaques Grobler Date: Tue, 22 Jan 2013 16:42:18 +0100 Subject: [PATCH] update banner for version 12 as older version --- doc/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/conf.py b/doc/conf.py index 352aa6d3d3aab..7bd48c8f2fff1 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -126,7 +126,7 @@ # 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 = {'oldversion':False, 'collapsiblesidebar': True} +html_theme_options = {'oldversion':True, 'collapsiblesidebar': True} # Add any paths that contain custom themes here, relative to this directory. html_theme_path = ['themes']