fixeria has submitted this change. ( https://gerrit.osmocom.org/c/erlang/osmo-s1gw/+/42371?usp=email )
(
3 is the latest approved patch-set. No files were changed between the latest approved patch-set and the submitted one. )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(-)
Approvals: osmith: Looks good to me, approved Jenkins Builder: Verified pespin: Looks good to me, but someone else must approve
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