--- a/src/Pure/Admin/sync_repos.scala Mon May 30 10:31:56 2022 +0200
+++ b/src/Pure/Admin/sync_repos.scala Mon May 30 10:51:04 2022 +0200
@@ -28,7 +28,7 @@
dry_run = dry_run, clean = clean, filter = filter)
progress.echo("\n* Isabelle repository:")
- sync(isabelle_hg, target, rev, filter = List("protect /AFP", "protect etc/ISABELLE_ID"))
+ sync(isabelle_hg, target, rev, filter = List("protect /AFP", "protect /etc/ISABELLE_ID"))
if (!dry_run) {
Isabelle_System.with_tmp_dir("sync_repos") { tmp_dir =>