Generate and install the documentation
This commit is contained in:
parent
80a750af31
commit
0f8df5b0d8
|
@ -51,14 +51,15 @@ _git_tests()
|
||||||
fi
|
fi
|
||||||
#clone the repository
|
#clone the repository
|
||||||
$GIT_CLONE --single-branch -b "$GIT_BRANCH" \
|
$GIT_CLONE --single-branch -b "$GIT_BRANCH" \
|
||||||
"$GIT_REMOTE/${repository}.git" "$tmpdir"
|
"$GIT_REMOTE/${repository}.git" "$tmpdir/repository"
|
||||||
if [ $? -ne 0 ]; then
|
if [ $? -ne 0 ]; then
|
||||||
echo "$repository: Could not clone" 1>&2
|
echo "$repository: Could not clone" 1>&2
|
||||||
else
|
elif [ -d "$tmpdir/repository/doc" ]; then
|
||||||
#build the documentation if available
|
#generate documentation if available
|
||||||
if [ -d "$tmpdir/doc" ]; then
|
(cd "$tmpdir/repository" &&
|
||||||
(cd "$tmpdir/doc" && $CONFIGURE .. && $MAKE)|| ret=2
|
$CONFIGURE &&
|
||||||
fi
|
cd doc &&
|
||||||
|
$MAKE DESTDIR="$tmpdir/destdir" install)|| ret=2
|
||||||
fi
|
fi
|
||||||
#cleanup
|
#cleanup
|
||||||
$RM -r "$tmpdir"
|
$RM -r "$tmpdir"
|
||||||
|
|
Loading…
Reference in New Issue
Block a user