Quick Sphinx 1.2 porting

diff --git a/Doc/CMakeLists.txt b/Doc/CMakeLists.txt
index 8ff90d1ce791883df3f1124a3697fa380b0ded66..12067fceeed2cedf8a099e6d08c48c5faa810e25 100755 (executable)
--- a/Doc/CMakeLists.txt
+++ b/Doc/CMakeLists.txt
@@ -1,7 +1,7 @@
 find_package(Sphinx REQUIRED)
 
 if(NOT DEFINED SPHINX_THEME)
-  set(SPHINX_THEME classic)
+  set(SPHINX_THEME basic)
 endif()
 
 if(NOT DEFINED SPHINX_THEME_DIR)

diff --git a/Doc/conf.py b/Doc/conf.py
index 0f1a77fb9b9feaba21e33a08a92cdb9b2a7fd0f2..a242a8826b68cb53644e9cfd2e276c81c3ecbc1b 100644 (file)
--- a/Doc/conf.py
+++ b/Doc/conf.py
@@ -91,7 +91,7 @@ pygments_style = 'sphinx'
 
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
-html_theme = 'classic'
+html_theme = 'basic'
 
 # 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