diff options
-rw-r--r-- | llvm/docs/conf.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/llvm/docs/conf.py b/llvm/docs/conf.py index cd9142cefdf..e7c18da48eb 100644 --- a/llvm/docs/conf.py +++ b/llvm/docs/conf.py @@ -251,3 +251,7 @@ for name in os.listdir(command_guide_path): # FIXME: Define intersphinx configuration. intersphinx_mapping = {} + +# Pygment lexer are sometimes out of date (when parsing LLVM for example) or +# wrong. Suppress the warning so the build doesn't abort. +suppress_warnings = [ 'misc.highlighting_failure' ] |