diff options
| author | Quentin Young <qlyoung@users.noreply.github.com> | 2018-07-02 11:42:22 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-02 11:42:22 -0400 |
| commit | 36789dd4b51887968d9481b57f5cb12465e73f22 (patch) | |
| tree | 5a06c1a4542b3526104bfcb6eee32d1c4ab4dcc0 /doc/user/conf.py | |
| parent | 8d6d6b2581be7c60ab4913df1adf46098a3dc4ae (diff) | |
| parent | 53b758f3e27b6e5be868d21160706a28cfe12cd7 (diff) | |
Merge pull request #2533 from pguibert6WIND/doc_flowspec
doc: add flowspec information from user point of view
Diffstat (limited to 'doc/user/conf.py')
| -rw-r--r-- | doc/user/conf.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/user/conf.py b/doc/user/conf.py index 3fced11024..28081bca7d 100644 --- a/doc/user/conf.py +++ b/doc/user/conf.py @@ -131,7 +131,8 @@ language = None # List of patterns, relative to source directory, that match files and # directories to ignore when looking for source files. -exclude_patterns = ['_build', 'rpki.rst', 'routeserver.rst', 'ospf_fundamentals.rst'] +exclude_patterns = ['_build', 'rpki.rst', 'routeserver.rst', + 'ospf_fundamentals.rst', 'flowspec.rst'] # The reST default role (used for this markup: `text`) to use for all # documents. |