diff options
Diffstat (limited to 'docs/check.docs')
| -rwxr-xr-x | docs/check.docs | 57 |
1 files changed, 0 insertions, 57 deletions
diff --git a/docs/check.docs b/docs/check.docs deleted file mode 100755 index 8eb5fe1c..00000000 --- a/docs/check.docs +++ /dev/null @@ -1,57 +0,0 @@ -#!/bin/sh - -LC_ALL=C -export LC_ALL - -if test -z "$DOC_MODULE"; then - # extract from Makefile - eval `grep '^DOC_MODULE' Makefile | sed 's/ //g'` - if test -z "$DOC_MODULE"; then - echo Failed extracting DOC_MODULE from Makefile 1>&2 - echo Try setting DOC_MODULE env var manually 1>&2 - exit 1 - fi -fi - -if test -n "$REPORT_FILES"; then - $MAKE $REPORT_FILES || exit 1 -fi - -test -z "$srcdir" && srcdir=. -stat=0 - -if test -f "$DOC_MODULE-undeclared.txt"; then - undeclared=`cat "$DOC_MODULE-undeclared.txt"` - if test -n "$undeclared"; then - echo Undeclared documentation symbols: 1>&2 - cat "$DOC_MODULE-undeclared.txt" 1>&2 - stat=1 - fi -fi >&2 -if test -f "$DOC_MODULE-unused.txt"; then - unused=`cat "$DOC_MODULE-unused.txt"` - if test -n "$unused"; then - echo Unused documentated symbols: 1>&2 - cat "$DOC_MODULE-unused.txt" 1>&2 - stat=1 - fi -fi >&2 -if test -f "$DOC_MODULE-undocumented.txt"; then - if grep '^0 symbols incomplete' "$DOC_MODULE-undocumented.txt" >/dev/null && - grep '^0 not documented' "$DOC_MODULE-undocumented.txt" >/dev/null; then - : - else - echo Incomplete or undocumented symbols: 1>&2 - cat "$DOC_MODULE-undocumented.txt" 1>&2 - stat=1 - fi -fi >&2 - -# Make failure non-critical for now since this is broken -if test $stat == 1; then - echo "**********************************************" - echo "checks.docs failed, but we ignore this for now" - echo "**********************************************" -fi -# exit $stat - |