]> mj.ucw.cz Git - pciids.git/commitdiff
update-web: Synchronize mirrors
authorThe PCI ID Mail Robot <pci-admins@ucw.cz>
Fri, 2 Feb 2024 15:29:15 +0000 (16:29 +0100)
committerThe PCI ID Mail Robot <pci-admins@ucw.cz>
Fri, 2 Feb 2024 15:29:15 +0000 (16:29 +0100)
scripts/update-web

index 609eb8d4fb6a513a28e3dd0a031966a31b3bd90b..6f6d4992a59c40e0efd0ab5401a5f840e75c97dc 100755 (executable)
@@ -4,3 +4,4 @@ set -e
 [ -d docs ]
 rsync -av perl/static/ docs/static/
 rsync -av perl/index.html docs/
+~/mirrors/bin/update-ids