fixeria has uploaded this change for review.

View Change

contrib: add jenkins_manuals.sh

Change-Id: I54f0774575534519a2c40e0588f136c8a5e706f8
Related: osmo-ci.git Id62d806a648c8f3480cb4f162adf65f77c552848
Related: OS#6671
---
A contrib/jenkins_manuals.sh
1 file changed, 7 insertions(+), 0 deletions(-)

git pull ssh://gerrit.osmocom.org:29418/erlang/osmo-s1gw refs/changes/71/42371/1

diff --git a/contrib/jenkins_manuals.sh b/contrib/jenkins_manuals.sh
new file mode 100755
index 0000000..05d53dc
--- /dev/null
+++ b/contrib/jenkins_manuals.sh
@@ -0,0 +1,7 @@
+#!/bin/sh -ex
+
+make -C docs/manuals
+
+if [ "$PUBLISH" = "1" ]; then
+	make -C docs/manuals publish
+fi

To view, visit change 42371. To unsubscribe, or for help writing mail filters, visit settings.