# HG changeset patch
# User wenzelm
# Date 1653898527 -7200
# Node ID ba4ed9a50be3bd2dce8837c5378f74de3019b197
# Parent  d8ee3e4d74ef5f7d2e8e25c0ba4015f49c6832d8
more documentation;

diff -r d8ee3e4d74ef -r ba4ed9a50be3 src/Pure/Admin/sync_repos.scala
--- a/src/Pure/Admin/sync_repos.scala	Sun May 29 23:49:58 2022 +0200
+++ b/src/Pure/Admin/sync_repos.scala	Mon May 30 10:15:27 2022 +0200
@@ -67,6 +67,10 @@
     -v           verbose
 
   Synchronize Isabelle + AFP repositories; see also "isabelle hg_sync".
+
+  Example (without -f as "dry-run"):
+
+    isabelle sync_repos -A '$AFP_BASE' -C testmachine:test/isabelle_afp
 """,
           "A:" -> (arg => afp_root = Some(Path.explode(arg))),
           "C" -> { _ => clean = true; dry_run = true },