From ccd069c343d74781124352abae33826db6732089 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Sun, 10 Jan 2016 14:14:35 +0530
Subject: [PATCH] Now host user manual on main server

---
 setup/upload.py | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/setup/upload.py b/setup/upload.py
index cfa41d89fe..7852e31d55 100644
--- a/setup/upload.py
+++ b/setup/upload.py
@@ -222,11 +222,8 @@ class UploadUserManual(Command):  # {{{
             self.build_plugin_example(x)
 
         srcdir = self.j(gettempdir(), 'user-manual-build', 'en', 'html') + '/'
-        for host in ('download', 'files'):
-            check_call(' '.join(['rsync', '-zrl', '--progress',
-                srcdir, '%s:/srv/manual/' % host]), shell=True)
-            if host == 'download':
-                check_call(('ssh %s chown -R http:http /srv/manual' % host).split())
+        check_call(' '.join(['rsync', '-zrl', '--info=progress2', srcdir, 'main:/srv/manual/']), shell=True)
+        check_call('ssh main chown -R http:http /srv/manual'.split())
 # }}}
 
 class UploadDemo(Command):  # {{{