web: don't delete old files

They can be useful (for example CSS)

diff --git a/fabfile.py b/fabfile.py
index 9fc47d282a11f7ff67c14015a08f9285ad6d9b99..7d25fb58c2bf41113c89bb6a1b0b2d1a66808f94 100644 (file)
--- 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")