fixeria submitted this change.
3 is the latest approved patch-set.
No files were changed between the latest approved patch-set and the submitted one.
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(-)
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.