jenkins.sh: incorporate publish step, for master build

Change-Id: I3c14f4e0266a4eb2702ca9fa9cf05dd54fc5d853

contrib/jenkins.sh

@@ -2,6 +2,8 @@
 
 set -ex
 
+publish="$1"
+
 base="$PWD"
 deps="$base/deps"
 export deps
@@ -17,4 +19,10 @@ cd "$base"
 $MAKE $PARALLEL_MAKE LIBOSMO_DIR="$deps/libosmocore"
 $MAKE $PARALLEL_MAKE LIBOSMO_DIR="$deps/libosmocore" check
 
+if [ "x$publish" = "x--publish" ]; then
+  mkdir out/
+  cp */*.pdf out/
+  rsync -avz --delete -e "ssh -p 48" ./out/ docs@osmocom.org:web-files/latest/
+fi
+
 osmo-clean-workspace.sh