diff options
author | Sofia Wallin <sofia.wallin@est.tech> | 2019-02-23 10:19:44 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@onap.org> | 2019-02-23 10:19:44 +0000 |
commit | 7705300f4ff9902d75de3a31e2b4e6580ad9ef60 (patch) | |
tree | 0fe6d6166ad0ad20b3ef0bd01be6564bfd80fb27 | |
parent | e49f63f0586cb1b897df2a72f8833e2496fd9bdf (diff) | |
parent | 2f6bc763153dff6016f610a65e4a84cd157b6966 (diff) |
Merge "Fix build timeout & upgrade sphinx"
-rw-r--r-- | docs/conf.py | 7 | ||||
-rw-r--r-- | etc/requirements.txt | 2 |
2 files changed, 5 insertions, 4 deletions
diff --git a/docs/conf.py b/docs/conf.py index aa98ecdbf..5cab846ce 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -137,9 +137,10 @@ 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 # documentation. -html_theme_options = { 'style_nav_header_background': 'white', - 'sticky_navigation': False, - 'collapse_navigation': False} +html_theme_options = { + 'style_nav_header_background': 'white', + 'sticky_navigation': False + } # Add any paths that contain custom themes here, relative to this directory. #html_theme_path = sphinx_bootstrap_theme.get_html_theme_path() diff --git a/etc/requirements.txt b/etc/requirements.txt index 5ba09a63b..fc22c1447 100644 --- a/etc/requirements.txt +++ b/etc/requirements.txt @@ -1,5 +1,5 @@ tox -Sphinx==1.8.1 +Sphinx==1.8.4 doc8 docutils setuptools |