From 19ca5a607da2801efcf29060a741d80163bf5a46 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 20 Mar 2013 17:18:42 +0100 Subject: [PATCH] org: Add an org-deploy rule * doc/Makefile.am: Here. --- doc/Makefile.am | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/doc/Makefile.am b/doc/Makefile.am index d2c2f2c63..872ca4bef 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -80,3 +80,8 @@ EXTRA_DIST = \ $(ORG_FILES) \ $(srcdir)/org-stamp \ userdoc + +.PHONY: org-deploy +org-deploy: $(srcdir)/org-stamp + cd $(srcdir); \ + rsync -P -z -u -v -r -l -C --delete userdoc/ spot:www_spot/userdoc