From d17b5910e9f9cecff52c8a1775355340ab8ea836 Mon Sep 17 00:00:00 2001
From: Silvio Rhatto <rhatto@riseup.net>
Date: Sat, 14 May 2016 11:22:21 -0300
Subject: Makefile: publish target

---
 doc/Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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"
-- 
cgit v1.2.3