aboutsummaryrefslogtreecommitdiff
path: root/docs/conf.py
diff options
context:
space:
mode:
Diffstat (limited to 'docs/conf.py')
-rw-r--r--docs/conf.py10
1 files changed, 7 insertions, 3 deletions
diff --git a/docs/conf.py b/docs/conf.py
index b71280150ac9..e7c18da48ebe 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -47,10 +47,10 @@ copyright = u'2003-%d, LLVM Project' % date.today().year
# |version| and |release|, also used in various other places throughout the
# built documents.
#
-# The short X.Y version.
-version = '4'
+# The short version.
+version = '5'
# The full version, including alpha/beta/rc tags.
-release = '4'
+release = '5'
# The language for content autogenerated by Sphinx. Refer to documentation
# for a list of supported languages.
@@ -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' ]