# HG changeset patch
# User wenzelm
# Date 1653900664 -7200
# Node ID 98d24c6516f6bec3a689dabc99ab9ee7d3bb678c
# Parent  167660a8f99e41b7eff31da7640a397c1cf39867
proper anchored pattern;

diff -r 167660a8f99e -r 98d24c6516f6 src/Pure/Admin/sync_repos.scala
--- 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 =>