diff options
Diffstat (limited to 'doc/public')
| -rwxr-xr-x | doc/public/check-doc-coverage.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/public/check-doc-coverage.sh b/doc/public/check-doc-coverage.sh index 581f32430..648ca1212 100755 --- a/doc/public/check-doc-coverage.sh +++ b/doc/public/check-doc-coverage.sh @@ -31,7 +31,7 @@ fi >&2 if test -f "$DOC_MODULE-unused.txt"; then unused=`cat "$DOC_MODULE-unused.txt"` if test -n "$unused"; then - echo "*** ERROR: Unused documentated symbols:" 1>&2 + echo "*** ERROR: Unused documented symbols:" 1>&2 cat "$DOC_MODULE-unused.txt" 1>&2 stat=1 fi |