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