summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authoranonym <anonym@riseup.net>2017-10-16 16:51:16 +0200
committeranonym <anonym@riseup.net>2017-10-16 16:51:16 +0200
commit7961e493f650bf4ad0be613064692b0f766eaf8f (patch)
tree12a51af6804dd5d5459bef5b2de846f4c6ae7f6d
parent808eb40632acb9ee492e8404f59f87e900d68952 (diff)
sanity-check-website: fix comment.
-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