Fail build if documentation is not updated

`--quiet` option allows exiting with non-zero exit code if `git diff-index` is failed. Withot the option, the build will be always passed.
bees-hive · Sep 15, 2019 · a3377fc · a3377fc
1 parent 781ec6b
commit a3377fc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/quality-pipeline.bash b/quality-pipeline.bash
@@ -26,7 +26,7 @@ pipeline() {
     (
         ./.wf/docs-generation.bash
         git update-index --refresh
-        git diff-index HEAD --
+        git diff-index --quiet HEAD --
     ) || fail "The documentation is not up to date. Please run './.wf/docs-generation.bash' and commit the changes"
 
 }