diff options
| author | Kristian Evers <kristianevers@gmail.com> | 2018-10-15 10:23:35 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-15 10:23:35 +0200 |
| commit | 0da84e275504edbdc8b62ebf77d2480ad086b62d (patch) | |
| tree | ae4644b4d5cac24fc85286809443d50b31de63d8 /docs/source/conf.py | |
| parent | 85aab72d5152a9da1bc548e829659ad4533583f9 (diff) | |
| parent | f956d27ec91f4d35ee6eba81291e3fd851e6b0ce (diff) | |
| download | PROJ-0da84e275504edbdc8b62ebf77d2480ad086b62d.tar.gz PROJ-0da84e275504edbdc8b62ebf77d2480ad086b62d.zip | |
Merge pull request #1151 from kbevers/horner-docs
Horner docs
Diffstat (limited to 'docs/source/conf.py')
| -rw-r--r-- | docs/source/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/source/conf.py b/docs/source/conf.py index 8892dffc..434e4d73 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -85,7 +85,7 @@ language = None # List of patterns, relative to source directory, that match files and # directories to ignore when looking for source files. -exclude_patterns = [] +exclude_patterns = ['operations/options/*.rst'] # The reST default role (used for this markup: `text`) to use for all # documents. |