diff options
-rw-r--r-- | Documentation/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/conf.py b/Documentation/conf.py index 792b6338ef19..49c242cf18c5 100644 --- a/Documentation/conf.py +++ b/Documentation/conf.py | |||
@@ -125,7 +125,7 @@ pygments_style = 'sphinx' | |||
125 | #modindex_common_prefix = [] | 125 | #modindex_common_prefix = [] |
126 | 126 | ||
127 | # If true, keep warnings as "system message" paragraphs in the built documents. | 127 | # If true, keep warnings as "system message" paragraphs in the built documents. |
128 | #keep_warnings = False | 128 | keep_warnings = True |
129 | 129 | ||
130 | # If true, `todo` and `todoList` produce output, else they produce nothing. | 130 | # If true, `todo` and `todoList` produce output, else they produce nothing. |
131 | todo_include_todos = False | 131 | todo_include_todos = False |