--- a/src/Pure/build-jars Mon Oct 09 17:08:37 2017 +0200
+++ b/src/Pure/build-jars Mon Oct 09 17:09:08 2017 +0200
@@ -9,6 +9,7 @@
## sources
declare -a SOURCES=(
+ Admin/afp.scala
Admin/build_cygwin.scala
Admin/build_doc.scala
Admin/build_history.scala