]> granicus.if.org Git - esp-idf/commitdiff
Removed redundant code to configure 'sphinx-rtd-theme' for documentation
authorkrzychb <krzychb@gazeta.pl>
Thu, 2 Aug 2018 20:10:33 +0000 (22:10 +0200)
committerkrzychb <krzychb@gazeta.pl>
Thu, 2 Aug 2018 20:10:33 +0000 (22:10 +0200)
docs/conf_common.py

index 560e4e63956498a71216c6023a6f7c5ab0e65750..fbed3a754d41fbb38d25a2dea661460785a663e7 100644 (file)
@@ -167,7 +167,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 = 'default'
+html_theme = 'sphinx_rtd_theme'
 
 # 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
@@ -326,19 +326,6 @@ texinfo_documents = [
 # If true, do not generate a @detailmenu in the "Top" node's menu.
 #texinfo_no_detailmenu = False
 
-# -- Use sphinx_rtd_theme for local builds --------------------------------
-# ref. https://github.com/snide/sphinx_rtd_theme#using-this-theme-locally-then-building-on-read-the-docs
-#
-# on_rtd is whether we are on readthedocs.org
-on_rtd = os.environ.get('READTHEDOCS', None) == 'True'
-
-if not on_rtd:  # only import and set the theme if we're building docs locally
-    import sphinx_rtd_theme
-    html_theme = 'sphinx_rtd_theme'
-    html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
-
-# otherwise, readthedocs.org uses their theme by default, so no need to specify it
-
 # Override RTD CSS theme to introduce the theme corrections
 # https://github.com/rtfd/sphinx_rtd_theme/pull/432
 def setup(app):