From aaadf4c55536f33fae5a89914a1cd616b3e41058 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 15 Apr 2021 15:26:41 +0100
Subject: [PATCH] docs: Provide publish target

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 Makefile | 8 ++++++++
 1 file changed, 8 insertions(+)

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
-- 
2.30.2