Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
rsync -r --delete-delay docs/html/. $(PUBLISH_DOC_SPHINX)/.
git branch -f $(PUBLISHED_BRANCH)
+publish-make-current:
+ ssh $(PUBLISH_USER) 'set -e; cd $(PUBLISH_DOC_SPHINX_BASE); rm -f current.tmp; ln -s $(PUBLISH_VERSION) current.tmp; mv -T current.tmp current'
+
#---------- deployment ----------
DEPLOY_USER=ian@login.chiark.greenend.org.uk
#---------- non-idempotent things ----------
$dryrun make -j12 PUBLISH_VERSION=$version publish
+$dryrun make -j12 PUBLISH_VERSION=$version publish-make-current
$dryrun git tag -s -u "$keyid" -m "Otter v$version" $tag
$dryrun git push chiark $tag