diff options
Diffstat (limited to 'jjb/doc')
-rw-r--r-- | jjb/doc/rules.yaml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/jjb/doc/rules.yaml b/jjb/doc/rules.yaml index 462bdf0ce..d4fec9f46 100644 --- a/jjb/doc/rules.yaml +++ b/jjb/doc/rules.yaml @@ -86,8 +86,10 @@ log_warning_msg "WARN sphinx-build option '-W' missing for spellcheck in $filename, line $linenumber." warning="1" else - log_failure_msg "FAIL sphinx-build option '-W' missing in $filename, line $linenumber. Please add it." - exitstatus="1" + log_warning_msg "WARN sphinx-build option '-W' missing in $filename, line $linenumber. Please add it." + warning="1" + #log_failure_msg "FAIL sphinx-build option '-W' missing in $filename, line $linenumber. Please add it." + #exitstatus="1" fi fi done < $filename |