diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile | 5 |
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" |