src/Pure/build-jars

--- a/src/Pure/build-jars	Tue Dec 04 16:11:52 2018 +0100
+++ b/src/Pure/build-jars	Wed Dec 05 19:42:40 2018 +0100
@@ -25,7 +25,6 @@
   Admin/isabelle_devel.scala
   Admin/jenkins.scala
   Admin/other_isabelle.scala
-  Admin/remote_dmg.scala
   Concurrent/consumer_thread.scala
   Concurrent/counter.scala
   Concurrent/event_timer.scala