publish also the HTML manual for pySim
Change-Id: I124d59626f40538da30f729beca0e40bf6b2b915
Closes: OS#5270
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 0fd2473..37d1d4d 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -48,7 +48,7 @@
(cd docs && make html latexpdf)
if [ "$WITH_MANUALS" = "1" ] && [ "$PUBLISH" = "1" ]; then
- make -C "docs" publish
+ make -C "docs" publish publish-html
fi
# run the test with physical cards
diff --git a/docs/Makefile b/docs/Makefile
index 4e20876..e594851 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -22,6 +22,9 @@
$(BUILDDIR)/latex/pysim.pdf: latexpdf
@/bin/true
+publish-html: html
+ rsync -avz -e "ssh -o 'UserKnownHostsFile=$(OSMO_GSM_MANUALS_DIR)/build/known_hosts' -p 48" $(BUILDDIR)/html/ docs@ftp.osmocom.org:web-files/latest/pysim/
+
# put this before the catch-all below
include $(OSMO_GSM_MANUALS_DIR)/build/Makefile.common.inc