Makefile: publish target

diff --git a/doc/Makefile b/doc/Makefile
index 15976e4cba957755ecc1fe5c3b1feaa2e3949db9..12c89776dd59d43719b7cbf917ba82e57e3c17e8 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -19,7 +19,10 @@ ALLSPHINXOPTS   = -d $(BUILDDIR)/doctrees $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) .
 # the i18n builder cannot share the environment and doctrees with the others
 I18NSPHINXOPTS  = $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) .
 
-.PHONY: help clean html dirhtml singlehtml pickle json htmlhelp qthelp devhelp epub latex latexpdf text man changes linkcheck doctest gettext
+.PHONY: publish
+
+publish: html
+       @rsync -avz --delete _build/html/ hydra:/var/sites/hidra/www/
 
 help:
        @echo "Please use \`make <target>' where <target> is one of"