commit 54fc223ab9324d9bb6e4122317ca8d414a29dbe6
author Harald Welte <laforge@osmocom.org> Wed Dec 04 13:57:24 2019 +0100
committer Harald Welte <laforge@osmocom.org> Wed Dec 04 13:57:57 2019 +0100
tree 82ba1dfa7ee132a72157957a301b33797b330536
parent b36921fffc41951f835982a53980e82eb697121b

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

Change-Id: Ib5fb783e4e7e5e327e474344220206f33c64a8bd

contrib/jenkins.sh

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 38bd1a9..b08865e 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -59,9 +59,9 @@
   $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
 
 $MAKE maintainer-clean
 osmo-clean-workspace.sh