From 5ec17904b2fbd571af6c40120fcc722006e006f3 Mon Sep 17 00:00:00 2001 From: Henry Snoek Date: Thu, 28 May 2015 10:52:35 +0200 Subject: [PATCH 1/3] 5259 update path to html build dir --- contributing/documentation/format.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contributing/documentation/format.rst b/contributing/documentation/format.rst index 1c95b1ea457..ce50f4fc974 100644 --- a/contributing/documentation/format.rst +++ b/contributing/documentation/format.rst @@ -210,7 +210,7 @@ submitting your documentation, follow these steps: * Install Sphinx_; * Install the Sphinx extensions using git submodules: ``$ git submodule update --init``; -* Run ``make html`` and view the generated HTML in the ``build/`` directory. +* Run ``make html`` and view the generated HTML in the ``_build/html`` directory. .. _reStructuredText: http://docutils.sourceforge.net/rst.html .. _Sphinx: http://sphinx-doc.org/ From f4b7e10b6ae7cb26c97e19efb8572dd2089b104c Mon Sep 17 00:00:00 2001 From: Henry Snoek Date: Thu, 28 May 2015 10:53:51 +0200 Subject: [PATCH 2/3] 5259 'default' theme has been renamed to 'classic' --- conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/conf.py b/conf.py index ab4e823e384..66c2168cb2b 100644 --- a/conf.py +++ b/conf.py @@ -126,7 +126,7 @@ # The theme to use for HTML and HTML Help pages. See the documentation for # a list of builtin themes. -html_theme = 'default' +html_theme = 'classic' # 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 From 789a5bc5df863491c284f990f9400e52c0eb0b9f Mon Sep 17 00:00:00 2001 From: Henry Snoek Date: Thu, 28 May 2015 11:09:10 +0200 Subject: [PATCH 3/3] 5259 undo theme rename --- conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/conf.py b/conf.py index 66c2168cb2b..ab4e823e384 100644 --- a/conf.py +++ b/conf.py @@ -126,7 +126,7 @@ # The theme to use for HTML and HTML Help pages. See the documentation for # a list of builtin themes. -html_theme = 'classic' +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