From: Vincent Bernat <bernat@luffy.cx>
Date: Sun, 13 Jan 2013 21:50:06 +0000 (+0100)
Subject: web: don't delete old files
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=6365a602b9d8f9adcb550b3454636ba3d18ae44b;p=thirdparty%2Flldpd.git

web: don't delete old files

They can be useful (for example CSS)
---

diff --git a/fabfile.py b/fabfile.py
index 9fc47d28..7d25fb58 100644
--- a/fabfile.py
+++ b/fabfile.py
@@ -45,7 +45,7 @@ def build():
                 root, ext = os.path.splitext(f)
                 newname = "%s.%s%s" % (root, md5, ext)
                 # Symlink
-                local("ln -s %s %s" % (os.path.basename(f), newname))
+                local("cp %s %s" % (f, newname))
                 # Fix HTML
                 local(r"find . -name '*.html' -type f -print0 | xargs -r0 sed -i "
                       '"'
@@ -57,7 +57,7 @@ def build():
     try:
         with lcd(tempdir):
             local("git clone %s -b gh-pages ." % lldpdir)
-            local("rsync --delete -ac --exclude=.git %s/deploy/ ." % lldpdir)
+            local("rsync -ac --exclude=.git %s/deploy/ ." % lldpdir)
             local("git add .")
             local("git diff --stat HEAD")
             answer = prompt("More diff?", default="yes")