From 60e402d13a142e4a9587d1ce284e7c49ba2fe1a7 Mon Sep 17 00:00:00 2001
From: Oliver Smith <osmith@sysmocom.de>
Date: Fri, 7 Dec 2018 14:30:26 +0100
Subject: [PATCH] contrib/jenkins.sh: build and publish manuals

Add new environment variables WITH_MANUALS and PUBLISH to control if
the manuals should be built and uploaded. Describe all environment vars
on top of the file.

Related: OS#3385
Change-Id: I856e4bc71e1b648de5f27d4044aa60bd0b45e0f5
---
 contrib/jenkins.sh | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index f886c2188..aa02b289a 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -1,4 +1,10 @@
 #!/bin/sh
+# jenkins build helper script for osmocom-bb.  This is how we build on jenkins.osmocom.org
+#
+# environment variables:
+# * WITH_MANUALS: build manual PDFs if set to "1"
+# * PUBLISH: upload manuals after building if set to "1" (ignored without WITH_MANUALS = "1")
+#
 
 set -ex
 
@@ -35,4 +41,15 @@ for dir in gprsdecode gsmmap layer23 osmocon trxcon virt_phy; do
 	make
 done
 
+# Build and publish manuals
+if [ "$WITH_MANUALS" = "1" ]; then
+	osmo-build-dep.sh osmo-gsm-manuals
+	make -C "$base/doc/manuals"
+	make -C "$base/doc/manuals" check
+
+	if [ "$PUBLISH" = "1" ]; then
+		make -C "$base/doc/manuals" publish
+	fi
+fi
+
 osmo-clean-workspace.sh