jenkins.sh: disable 'publish' of manuals; we don't have any yet

Change-Id: I6a90af2903ef50c1c747a3027bf6f63212810e30
This commit is contained in:
Harald Welte
2019-12-04 13:58:26 +01:00
committed by laforge
parent be8cbaf3fc
commit 00efdee6ba

View File

@@ -55,8 +55,8 @@ DISTCHECK_CONFIGURE_FLAGS="--enable-external-tests $CONFIG" \
$MAKE distcheck \
|| cat-testlogs.sh
if [ "$WITH_MANUALS" = "1" ] && [ "$PUBLISH" = "1" ]; then
make -C "$base/doc/manuals" publish
fi
#if [ "$WITH_MANUALS" = "1" ] && [ "$PUBLISH" = "1" ]; then
# make -C "$base/doc/manuals" publish
#fi
osmo-clean-workspace.sh