From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 15 Apr 2021 14:27:36 +0000 (+0100)
Subject: docs: Provide published branch
X-Git-Tag: otter-0.5.0~48
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=512328af7b64b28d722e3318da3389494833536a;p=otter.git

docs: Provide published branch

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

diff --git a/Makefile b/Makefile
index 5c256b66..952089a9 100644
--- a/Makefile
+++ b/Makefile
@@ -63,6 +63,7 @@ DEPLOY_ARCH=x86_64-unknown-linux-musl
 DEPLOY_RELEASE=debug
 DEPLOY_TARGET_DIR=$(TARGET_DIR)/$(addsuffix /,$(DEPLOY_ARCH))$(DEPLOY_RELEASE)
 DEPLOYED_BRANCH=deployed
+PUBLISHED_BRANCH=published
 
 #---------- nailing-cargo ----------
 
@@ -360,6 +361,7 @@ PUBLISH_DOC_SPHINX=$(PUBLISH_USER):public-html/otter/docs
 
 publish: doc-sphinx
 	rsync -r --delete-delay docs/html/. $(PUBLISH_DOC_SPHINX)/.
+	git branch -f $(PUBLISHED_BRANCH)
 
 #---------- deployment ----------