mirror of
https://github.com/certbot/certbot.git
synced 2026-06-04 06:15:36 -04:00
Use sphinx_rtd_theme locally.
This commit is contained in:
parent
ed99d809f1
commit
edce44024b
2 changed files with 10 additions and 1 deletions
10
docs/conf.py
10
docs/conf.py
|
|
@ -117,7 +117,15 @@ 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'
|
||||
|
||||
# http://docs.readthedocs.org/en/latest/theme.html#how-do-i-use-this-locally-and-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
|
||||
|
||||
# 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
|
||||
|
|
|
|||
1
setup.py
1
setup.py
|
|
@ -45,6 +45,7 @@ dev_extras = [
|
|||
docs_extras = [
|
||||
'repoze.sphinx.autointerface',
|
||||
'Sphinx',
|
||||
'sphinx_rtd_theme',
|
||||
]
|
||||
|
||||
testing_extras = [
|
||||
|
|
|
|||
Loading…
Reference in a new issue