From 3a4e0f3796de37f21f95623a7a8dc6eff8983de2 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Thu, 5 May 2022 20:25:56 +0100 Subject: [PATCH] Makefile: Break out PUBLISH_DOC_SPHINX_BASE and _TAIL We're going to want this so we can mkdir. Signed-off-by: Ian Jackson --- Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 3e855941..d11a200f 100644 --- a/Makefile +++ b/Makefile @@ -468,7 +468,9 @@ stamp/wdt-%.lcheck: $(WDT_DEPS) PUBLISH_VERSION=unreleased PUBLISH_USER=ianmdlvl@login.chiark.greenend.org.uk -PUBLISH_DOC_SPHINX=$(PUBLISH_USER):public-html/otter/$(PUBLISH_VERSION)/docs +PUBLISH_DOC_SPHINX_BASE=public-html/otter +PUBLISH_DOC_SPHINX_TAIL=$(PUBLISH_VERSION)/docs +PUBLISH_DOC_SPHINX=$(PUBLISH_USER):$(PUBLISH_DOC_SPHINX_BASE)/$(PUBLISH_DOC_SPHINX_TAIL) publish: doc-sphinx rsync -r --delete-delay docs/html/. $(PUBLISH_DOC_SPHINX)/. -- 2.30.2