diff options
Diffstat (limited to 'doc/user/conf.py')
| -rw-r--r-- | doc/user/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/conf.py b/doc/user/conf.py index b0bcb2ed43..e79dea0bdf 100644 --- a/doc/user/conf.py +++ b/doc/user/conf.py @@ -123,7 +123,7 @@ 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', 'ospf_fundamentals.rst'] +exclude_patterns = ['_build', 'rpki.rst', 'routeserver.rst', 'ospf_fundamentals.rst'] # The reST default role (used for this markup: `text`) to use for all # documents. |