very-clean: clean
$(CARGO) clean
+#---------- docs publication ----------
+
+PUBLISHED_BRANCH=published
+PUBLISH_VERSION=unreleased
+PUBLISH_USER=ianmdlvl@login.chiark.greenend.org.uk
+PUBLISH_DOC_SPHINX_BASE=public-html/hippotat
+PUBLISH_DOC_SPHINX_TAIL=$(PUBLISH_VERSION)/docs
+PUBLISH_DOC_SPHINX=$(PUBLISH_USER):$(PUBLISH_DOC_SPHINX_BASE)/$(PUBLISH_DOC_SPHINX_TAIL)
+
+publish: doc
+ 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)
+
+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'
+
.PHONY: cargo-build all doc clean
--- /dev/null
+Colophon
+========
+
+Hippotat is Copyright 2017-2022 Ian Jackson
+and contributors.
+
+Hippotat is released under the GNU GPLv3+
+with an OpenSSL linking exception.
+See the file `COPYING` in the source tree
+for the full licence text.
+There is NO WARRANTY.
+
+The
+[Documentation for the current version](https://www.chiark.greenend.org.uk/~ianmdlvl/hippotat/current/docs/)
+is online,
+as well as [for earlier versons](https://www.chiark.greenend.org.uk/~ianmdlvl/hippotat/).
+
+[Hippotat's source repository](https://salsa.debian.org/iwj/hippotat)
+is hosted on Debian Salsa.