Makefile: Break out PUBLISH_DOC_SPHINX_BASE and _TAIL

We're going to want this so we can mkdir.

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

diff --git a/Makefile b/Makefile
index 3e8559413d757cbdf8bad596243e90169dd3fea0..d11a200ffaebf2ea89edf460d73691535c32d4ef 100644 (file)
--- 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)/.