aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHarald Welte <laforge@osmocom.org>2022-02-09 21:01:00 +0100
committerHarald Welte <laforge@osmocom.org>2022-02-09 21:02:38 +0100
commit362d2d0433f47100e19067f837af18a23f57f349 (patch)
tree391e1f2ce59ef13a9a4816494bf5ad062411e9e3
parent5981aa5c7f5fd4443259f8e1332c57213cf1fdb6 (diff)
publish also the HTML manual for pySim
-rwxr-xr-xcontrib/jenkins.sh2
-rw-r--r--docs/Makefile3
2 files changed, 4 insertions, 1 deletions
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 @@ pip3 install -e 'git+https://github.com/osmocom/sphinx-argparse@master#egg=sphin
(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 @@ help:
$(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