diff options
| author | Nis Martensen <nis.martensen@web.de> | 2012-04-12 23:20:59 +0200 |
|---|---|---|
| committer | Nis Martensen <nis.martensen@web.de> | 2012-04-16 22:11:36 +0200 |
| commit | 4f125a1bd069095f3a97f009e7d7af2681353fb1 (patch) | |
| tree | 91bdbc8ef5477fe51a47c59e0b87dd8ec7f8b92c /doc/public | |
| parent | 905a88bf517bdc1b110587551ea7f1739bd90627 (diff) | |
typo
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 |