aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/Makefile5
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile
index 15976e4..12c8977 100644
--- 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"