diff options
Diffstat (limited to 'docs/check.docs')
| -rwxr-xr-x | docs/check.docs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/check.docs b/docs/check.docs index 9d092e8d..db6297c8 100755 --- a/docs/check.docs +++ b/docs/check.docs @@ -22,7 +22,7 @@ fi if ! grep '^0 symbols incomplete' pango-undocumented.txt >/dev/null || ! grep '^0 not documented' pango-undocumented.txt >/dev/null; then echo Incomplete or undocumented symbols: - cat pango-unused.txt + cat pango-undocumented.txt status=1 fi |