diff options
| -rw-r--r-- | jjb/doc/rules.yaml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/jjb/doc/rules.yaml b/jjb/doc/rules.yaml index 06a5257d6..95106e7da 100644 --- a/jjb/doc/rules.yaml +++ b/jjb/doc/rules.yaml @@ -75,7 +75,8 @@ if echo $line | grep -q '^[ \t]*sphinx-build.* -W ' ; then log_success_msg "sphinx-build option '-W' used in $filename, line $linenumber." elif echo $line | grep -q ' \-b spelling ' ; then - log_success_msg "sphinx-build option '-W' not used for spellcheck in $filename, line $linenumber." + log_warning_msg "sphinx-build option '-W' not used for spellcheck in $filename, line $linenumber." + warning="1" else log_failure_msg "sphinx-build option '-W' missing in $filename, line $linenumber. Please add it." exitstatus="1" @@ -110,7 +111,7 @@ if [ "$warning" = "0" ]; then log_success_msg "Congratulations! No documentation problem(s) detected." else - log_failure_msg "WARN No major documentation problem(s) detected but there are warnings!" + log_warning_msg "No major documentation problem(s) detected but there are warnings!" fi else log_failure_msg "Please fix the detected documentation problem(s)!" |