fixeria has uploaded this change for review. ( https://gerrit.osmocom.org/c/erlang/osmo-s1gw/+/42371?usp=email )

Change subject: contrib: add jenkins_manuals.sh ......................................................................

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