# HG changeset patch
# User wenzelm
# Date 1717708324 -7200
# Node ID c631a44e9f132d01b1ecf44b36cc8e7e9d1be41f
# Parent  cff00b3dddf56cd166c3e40501f83482d9c17138
proper afp_directory (amending 9308bc5f65d6);

diff -r cff00b3dddf5 -r c631a44e9f13 src/Pure/Admin/build_history.scala
--- a/src/Pure/Admin/build_history.scala	Thu Jun 06 22:26:40 2024 +0200
+++ b/src/Pure/Admin/build_history.scala	Thu Jun 06 23:12:04 2024 +0200
@@ -167,7 +167,7 @@
 
     val isabelle_directory = directory(root)
     val (afp_directory, afp_build_args) =
-      if (afp) (Some(directory(root + Path.explode("AFP"))), List("-d", "~~/dirs/AFP/thys"))
+      if (afp) (Some(directory(root + Path.explode("dirs/AFP"))), List("-d", "~~/dirs/AFP/thys"))
       else (None, Nil)