From: The PCI ID Mail Robot Date: Fri, 2 Feb 2024 13:45:48 +0000 (+0100) Subject: update-sf is no longer needed X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=da28c2297a2e4d82774f2db7c2d86b3e3e0c564c;p=pciids.git update-sf is no longer needed --- diff --git a/scripts/update-sf.pl b/scripts/update-sf.pl deleted file mode 100755 index 72c8746..0000000 --- a/scripts/update-sf.pl +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/bash -set -e -cd ~/sf.net -rm -rf htdocs -mkdir htdocs -cd htdocs - -O=~/ids/docs -cp -aL $O/static . -cp -aL $O/{v2.2,pci.ids*} . -cp ../index.html . - -rsync -az --delete ~/sf.net/htdocs mares,pciids@web.sourceforge.net: