diff --git a/doc/scripts/xmllint.sh b/doc/scripts/xmllint.sh index ed94cb7..c0f7cba 100755 --- a/doc/scripts/xmllint.sh +++ b/doc/scripts/xmllint.sh @@ -48,7 +48,7 @@ _debug() #usage _usage() { - echo "Usage: xmllint.sh target" 1>&2 + echo "Usage: xmllint.sh [-c] target" 1>&2 return 1 }