publish also the HTML manual for pySim

Change-Id: I124d59626f40538da30f729beca0e40bf6b2b915
Closes: OS#5270
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