contrib/jenkins-build-manuals.sh

#!/bin/sh -ex
# environment variables:
# * PUBLISH: upload manuals after building if set to "1"

base="$PWD"
export OSMO_GSM_MANUALS_DIR="$base/osmo-gsm-manuals"

# Sanity check
if ! [ -d "$base/doc/manuals" ]; then
	echo "ERROR: this script needs to be executed from the top dir of osmo-gsm-tester.git."
	exit 1
fi

# Clone/update osmo-gsm-manuals and wipe local modifications
if [ -d "$OSMO_GSM_MANUALS_DIR" ]; then
	git -C "$OSMO_GSM_MANUALS_DIR" pull
else
	git clone "https://git.osmocom.org/osmo-gsm-manuals" "$OSMO_GSM_MANUALS_DIR"
fi
git -C "$OSMO_GSM_MANUALS_DIR" checkout -f HEAD

# Copy manuals source to empty temp dir (so we can easily clean up afterwards)
temp="$base/_manuals_temp"
if [ -d "$temp" ]; then
	rm -rf "$temp"
fi
cp -r "$base/doc/manuals" "$temp"

# Build the manuals
cd "$temp"
make
make check

# Publish
if [ "$PUBLISH" = "1" ]; then
	make publish
fi

# Clean up
rm -r "$temp"