diff options
| author | Tuetuopay <tuetuopay@me.com> | 2019-03-28 18:41:38 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-28 18:41:38 +0100 |
| commit | d074383c621d904847d6c1cdf1e4d8825caf14ba (patch) | |
| tree | b0449b0bc79226875a2c2d4586ccbdd102ddaca4 /doc/manpages/conf.py | |
| parent | 0fb2ad05d9e11a211915208e3fa648c8e170e31e (diff) | |
| parent | 8db37bf14a28ccf89d891fe094d72c65b389dfd3 (diff) | |
Merge branch 'master' into evpn-session-vrf
Diffstat (limited to 'doc/manpages/conf.py')
| -rw-r--r-- | doc/manpages/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manpages/conf.py b/doc/manpages/conf.py index f57bc1d278..46240de1c0 100644 --- a/doc/manpages/conf.py +++ b/doc/manpages/conf.py @@ -129,7 +129,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', 'common-options.rst', 'epilogue.rst', 'defines.rst'] +exclude_patterns = ['_build', 'common-options.rst', 'epilogue.rst', 'defines.rst', 'bfd-options.rst'] # The reST default role (used for this markup: `text`) to use for all # documents. |