diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2018-06-14 20:39:01 +0200 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2018-06-14 20:39:01 +0200 |
commit | c524232f734de875d69e2f190f01a6c976024368 (patch) | |
tree | d8bba27646c367cb2b7c718354dd036892bcd629 /cython/doc/conf.py | |
parent | 9899ae167f281d10b1684dfcd02c6838c5bf28df (diff) |
GUDHI 2.2.0 as released by upstream in a tarball.upstream/2.2.0
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. |