fix setting of INC and AUTHOR_DIR in tmp/readme2index.sh
This commit is contained in:
1 parent
e916f1e207
commit
5494594262
1 file changed
+5
-5
+5
-5
@@ -777,16 +777,16 @@ fi
|
|||||||
# verify that we have a inc subdirectory
|
# verify that we have a inc subdirectory
|
||||||
#
|
#
|
||||||
export INC="$TOPDIR/inc"
|
export INC="$TOPDIR/inc"
|
||||||
if [[ ! -d $TOPDIR/inc ]]; then
|
if [[ ! -d $INC ]]; then
|
||||||
echo "$0: ERROR: inc is not a directory under topdir: $TOPDIR/inc" 1>&2
|
echo "$0: ERROR: inc is not a directory under topdir: $INC" 1>&2
|
||||||
exit 15
|
exit 15
|
||||||
fi
|
fi
|
||||||
|
|
||||||
# verify that we have an author subdirectory
|
# verify that we have an author subdirectory
|
||||||
#
|
#
|
||||||
export INC="$TOPDIR/inc"
|
export AUTHOR_DIR="$TOPDIR/author"
|
||||||
if [[ ! -d $TOPDIR/inc ]]; then
|
if [[ ! -d $AUTHOR_DIR ]]; then
|
||||||
echo "$0: ERROR: inc is not a directory under topdir: $TOPDIR/inc" 1>&2
|
echo "$0: ERROR: author is not a directory under topdir: $AUTHOR_DIR" 1>&2
|
||||||
exit 16
|
exit 16
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
|||||||
Reference in new issue
Block a user