summaryrefslogtreecommitdiff
path: root/cython/doc/conf.py
diff options
context:
space:
mode:
authorGard Spreemann <gspreemann@gmail.com>2018-06-15 12:42:55 +0200
committerGard Spreemann <gspreemann@gmail.com>2018-06-15 12:42:55 +0200
commitc31bac6af57af917b8f799d0c21eb6af34ee1f6e (patch)
tree5a9603a4ec016f1aa09c7da52510790680c790c3 /cython/doc/conf.py
parent02de1136cf9850803cb1e1ac1141f11b50be2992 (diff)
parent41482b4260b4aff3d6803e340d5c94fbefb9af67 (diff)
Merge branch 'dfsg/latest' into debian/sid
Diffstat (limited to 'cython/doc/conf.py')
-rwxr-xr-xcython/doc/conf.py3
1 files changed, 2 insertions, 1 deletions
diff --git a/cython/doc/conf.py b/cython/doc/conf.py
index a13c9751..4a54d4fd 100755
--- a/cython/doc/conf.py
+++ b/cython/doc/conf.py
@@ -85,7 +85,7 @@ version = gudhi.__version__
# List of patterns, relative to source directory, that match files and
# directories to ignore when looking for source files.
-exclude_patterns = ['_build']
+exclude_patterns = ['_build', '*.inc']
# The reST default role (used for this markup: `text`) to use for all
# documents.
@@ -125,6 +125,7 @@ html_theme_options = {
"sidebarbgcolor": "#A1ADCD",
"sidebartextcolor": "black",
"sidebarlinkcolor": "#334D5C",
+ "body_max_width": "1200px",
}
# Add any paths that contain custom themes here, relative to this directory.