]> mj.ucw.cz Git - pciids.git/commitdiff
update-web
authorThe PCI ID Mail Robot <pci-admins@ucw.cz>
Fri, 2 Feb 2024 13:55:36 +0000 (14:55 +0100)
committerThe PCI ID Mail Robot <pci-admins@ucw.cz>
Fri, 2 Feb 2024 13:55:36 +0000 (14:55 +0100)
scripts/update-web [new file with mode: 0755]

diff --git a/scripts/update-web b/scripts/update-web
new file mode 100755 (executable)
index 0000000..609eb8d
--- /dev/null
@@ -0,0 +1,6 @@
+#!/bin/bash
+set -e
+
+[ -d docs ]
+rsync -av perl/static/ docs/static/
+rsync -av perl/index.html docs/