From: The PCI ID Mail Robot Date: Fri, 2 Feb 2024 13:55:36 +0000 (+0100) Subject: update-web X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=f5feb80dacb2d6932a5a7815c4190e4819af1717;p=pciids.git update-web --- diff --git a/scripts/update-web b/scripts/update-web new file mode 100755 index 0000000..609eb8d --- /dev/null +++ b/scripts/update-web @@ -0,0 +1,6 @@ +#!/bin/bash +set -e + +[ -d docs ] +rsync -av perl/static/ docs/static/ +rsync -av perl/index.html docs/