From 58b3100de99d8ce26a1d7b952573f1f81e650e9b Mon Sep 17 00:00:00 2001
From: The PCI ID Mail Robot <pci-admins@ucw.cz>
Date: Fri, 2 Feb 2024 16:29:15 +0100
Subject: [PATCH] update-web: Synchronize mirrors

---
 scripts/update-web | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/update-web b/scripts/update-web
index 609eb8d..6f6d499 100755
--- a/scripts/update-web
+++ b/scripts/update-web
@@ -4,3 +4,4 @@ set -e
 [ -d docs ]
 rsync -av perl/static/ docs/static/
 rsync -av perl/index.html docs/
+~/mirrors/bin/update-ids
-- 
2.39.2