From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 15 Apr 2021 14:26:41 +0000 (+0100)
Subject: docs: Provide publish target
X-Git-Tag: otter-0.5.0~49
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=aaadf4c55536f33fae5a89914a1cd616b3e41058;p=otter.git

docs: Provide publish target

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/Makefile b/Makefile
index f4bf5d48..5c256b66 100644
--- a/Makefile
+++ b/Makefile
@@ -353,6 +353,14 @@ stamp/wdt-%.lcheck:	$(WDT_DEPS)
 	$(WDT_RUN) --as-if=lwdt-$* --layout=Landscape
 	$(stamp)
 
+#---------- docs publication ----------
+
+PUBLISH_USER=ianmdlvl@login.chiark.greenend.org.uk
+PUBLISH_DOC_SPHINX=$(PUBLISH_USER):public-html/otter/docs
+
+publish: doc-sphinx
+	rsync -r --delete-delay docs/html/. $(PUBLISH_DOC_SPHINX)/.
+
 #---------- deployment ----------
 
 DEPLOY_USER=ian@login.chiark.greenend.org.uk