From 901b6b9d0289a79719ecf635b1629b373920269a Mon Sep 17 00:00:00 2001
From: vrde <agranzot@gmail.com>
Date: Thu, 13 Sep 2018 12:05:01 +0200
Subject: [PATCH] Problem: Sphinx deprecated a config option (#2537)

Solution: Move from `autodoc_default_flags` to
`autodoc_default_options`.

Related issue:
- https://github.com/sphinx-doc/sphinx/issues/5421
---
 docs/server/source/conf.py | 6 +++---
 setup.py                   | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/docs/server/source/conf.py b/docs/server/source/conf.py
index 459877aa..dc8acd81 100644
--- a/docs/server/source/conf.py
+++ b/docs/server/source/conf.py
@@ -60,9 +60,9 @@ extensions = [
 
 # autodoc settings
 autodoc_member_order = 'bysource'
-autodoc_default_flags = [
-    'members',
-]
+autodoc_default_options = {
+    'members': None,
+}
 
 todo_include_todos = True
 
diff --git a/setup.py b/setup.py
index db7f1bd0..a004178d 100644
--- a/setup.py
+++ b/setup.py
@@ -44,7 +44,7 @@ dev_require = [
 ]
 
 docs_require = [
-    'Sphinx>=1.4.8',
+    'Sphinx~=1.0',
     'recommonmark>=0.4.0',
     'sphinx-rtd-theme>=0.1.9',
     'sphinxcontrib-httpdomain>=1.5.0',