diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2018-06-15 12:42:55 +0200 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2018-06-15 12:42:55 +0200 |
commit | c31bac6af57af917b8f799d0c21eb6af34ee1f6e (patch) | |
tree | 5a9603a4ec016f1aa09c7da52510790680c790c3 /cython/doc/conf.py | |
parent | 02de1136cf9850803cb1e1ac1141f11b50be2992 (diff) | |
parent | 41482b4260b4aff3d6803e340d5c94fbefb9af67 (diff) |
Merge branch 'dfsg/latest' into debian/sid
Diffstat (limited to 'cython/doc/conf.py')
-rwxr-xr-x | cython/doc/conf.py | 3 |
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. |