From f5feb80dacb2d6932a5a7815c4190e4819af1717 Mon Sep 17 00:00:00 2001
From: The PCI ID Mail Robot <pci-admins@ucw.cz>
Date: Fri, 2 Feb 2024 14:55:36 +0100
Subject: [PATCH] update-web

---
 scripts/update-web | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100755 scripts/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/
-- 
2.39.2