summaryrefslogtreecommitdiffstats
path: root/build-website
diff options
context:
space:
mode:
Diffstat (limited to 'build-website')
-rwxr-xr-xbuild-website2
1 files changed, 1 insertions, 1 deletions
diff --git a/build-website b/build-website
index 2813182..c3d3a72 100755
--- a/build-website
+++ b/build-website
@@ -20,7 +20,7 @@ git_dir="$(git rev-parse --show-toplevel)"
if ! "${git_dir}/bin/sanity-check-website" ; then
if [ "${FATAL_SANITY_CHECK}" != no ]; then
echo "Some pages in our wiki are bad! Please fix them or re-run" \
- "with the --non-fatal-verification option">&2
+ "with the --non-fatal-sanity-check option" >&2
exit 1
fi
fi