diff options
| author | Russ White <russ@riw.us> | 2021-11-11 08:08:19 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-11 08:08:19 -0500 |
| commit | eda02ab9da1ba02199ba85d203bdbd6a6e9050b1 (patch) | |
| tree | 1fcbfcb7ab7459671d4479a6be7aac3216fd82d0 /doc/developer/conf.py | |
| parent | 83323dbf00168153b233c0d34ecb15168b3de9b7 (diff) | |
| parent | afb8fe93b1cf1e44c15fc0e65c18eda67cc04da2 (diff) | |
Merge pull request #10025 from opensourcerouting/xref-backtrace
lib: backtraces for specific log messages
Diffstat (limited to 'doc/developer/conf.py')
| -rw-r--r-- | doc/developer/conf.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/developer/conf.py b/doc/developer/conf.py index 61df6e0e60..79f8233978 100644 --- a/doc/developer/conf.py +++ b/doc/developer/conf.py @@ -136,6 +136,7 @@ language = None # directories to ignore when looking for source files. exclude_patterns = [ "_build", + "building-libunwind-note.rst", "building-libyang.rst", "topotests-snippets.rst", "topotests-markers.rst", |
