chiark
/
gitweb
/
~ianmdlvl
/
otter.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
3a4e0f3
)
Makefile: mkdir the version-specific sphinx output dir
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Thu, 5 May 2022 19:54:48 +0000
(20:54 +0100)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Thu, 5 May 2022 20:00:46 +0000
(21:00 +0100)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Makefile
patch
|
blob
|
history
diff --git
a/Makefile
b/Makefile
index d11a200ffaebf2ea89edf460d73691535c32d4ef..82afb902c23242bc7e1445eabb92dd90e8fcdee8 100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-473,6
+473,7
@@
PUBLISH_DOC_SPHINX_TAIL=$(PUBLISH_VERSION)/docs
PUBLISH_DOC_SPHINX=$(PUBLISH_USER):$(PUBLISH_DOC_SPHINX_BASE)/$(PUBLISH_DOC_SPHINX_TAIL)
publish: doc-sphinx
+ ssh $(PUBLISH_USER) 'cd $(PUBLISH_DOC_SPHINX_BASE) && mkdir -p $(PUBLISH_DOC_SPHINX_TAIL)'
rsync -r --delete-delay docs/html/. $(PUBLISH_DOC_SPHINX)/.
git branch -f $(PUBLISHED_BRANCH)