From e7f009e5493d87370c7aa5a40f0f555a8e2307d8 Mon Sep 17 00:00:00 2001 From: Chris Johns Date: Tue, 21 Mar 2017 08:41:55 +1100 Subject: conf: Update the copyright year. --- common/conf.py | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/common/conf.py b/common/conf.py index 0bb25a9..eed186c 100644 --- a/common/conf.py +++ b/common/conf.py @@ -51,7 +51,7 @@ master_doc = 'index' # General information about the project. project = u'RTEMS Documentation Project' -copyright = u'2016, RTEMS Project (built %s)' % (build_date()) +copyright = u'2017, RTEMS Project (built %s)' % (build_date()) # The version info for the project you're documenting, acts as replacement for # |version| and |release|, also used in various other places throughout the @@ -109,7 +109,12 @@ html_theme_path = [sphinx_rtd_theme_rtems.get_html_theme_path()] # 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 = {} +html_theme_options = { + 'collapse_navigation': False, + 'display_version': True, + 'sticky_navigation': True, + 'genindex': True, +} # Add any paths that contain custom themes here, relative to this directory. #html_theme_path = [] -- cgit v1.2.3