]> mj.ucw.cz Git - pciids.git/commitdiff
update-sf is no longer needed
authorThe PCI ID Mail Robot <pci-admins@ucw.cz>
Fri, 2 Feb 2024 13:45:48 +0000 (14:45 +0100)
committerThe PCI ID Mail Robot <pci-admins@ucw.cz>
Fri, 2 Feb 2024 13:45:48 +0000 (14:45 +0100)
scripts/update-sf.pl [deleted file]

diff --git a/scripts/update-sf.pl b/scripts/update-sf.pl
deleted file mode 100755 (executable)
index 72c8746..0000000
+++ /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: