]> git.proxmox.com Git - mirror_frr.git/blobdiff - doc/developer/conf.py
Merge pull request #5716 from opensourcerouting/bfdd-log
[mirror_frr.git] / doc / developer / conf.py
index af8673e5fabf09e27ca8835c00919be65b8be5d9..9acfab739a943f376ccc58fb23dcb843c402781b 100644 (file)
@@ -131,7 +131,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', 'building-libyang.rst', 'topotests-snippets.rst']
+exclude_patterns = ['_build', 'building-libyang.rst', 'topotests-snippets.rst', 'include-compile.rst']
 
 # The reST default role (used for this markup: `text`) to use for all
 # documents.