diff options
-rwxr-xr-x | contrib/jenkins.sh | 2 | ||||
-rw-r--r-- | docs/Makefile | 3 |
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 |