diff options
Diffstat (limited to 'doc/check-docs.sh')
| -rwxr-xr-x | doc/check-docs.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/check-docs.sh b/doc/check-docs.sh index c0b0487..16b6b0e 100755 --- a/doc/check-docs.sh +++ b/doc/check-docs.sh @@ -42,7 +42,7 @@ do fi source="$source $1" shift -done +done TEMPDIR=/tmp/mfck.$$ mkdir $TEMPDIR || exit 1 @@ -57,14 +57,14 @@ join -v1 $TEMPDIR/src $TEMPDIR/doc > $TEMPDIR/src-doc join -v2 $TEMPDIR/src $TEMPDIR/doc > $TEMPDIR/doc-src (if [ -s $TEMPDIR/src-doc ]; then echo "Not documented $item:" - cat $TEMPDIR/src-doc + cat $TEMPDIR/src-doc fi if [ -s $TEMPDIR/doc-src ]; then echo "Non-existing $item:" cat $TEMPDIR/doc-src fi) > $TEMPDIR/report -if [ -s $TEMPDIR/report ]; then +if [ -s $TEMPDIR/report ]; then cat $TEMPDIR/report rm -rf $TEMPDIR exit 1 |