src/Pure/build-jars
changeset 66790 c0e68e6a1beb
parent 66347 23eaab37e4a8
child 66820 fc516da7ee4f
     1.1 --- a/src/Pure/build-jars	Sun Oct 08 14:48:47 2017 +0200
     1.2 +++ b/src/Pure/build-jars	Sun Oct 08 14:52:06 2017 +0200
     1.3 @@ -11,7 +11,6 @@
     1.4  declare -a SOURCES=(
     1.5    Admin/build_cygwin.scala
     1.6    Admin/build_doc.scala
     1.7 -  Admin/build_docker.scala
     1.8    Admin/build_history.scala
     1.9    Admin/build_jdk.scala
    1.10    Admin/build_log.scala
    1.11 @@ -133,6 +132,7 @@
    1.12    Thy/thy_syntax.scala
    1.13    Tools/bibtex.scala
    1.14    Tools/build.scala
    1.15 +  Tools/build_docker.scala
    1.16    Tools/check_keywords.scala
    1.17    Tools/debugger.scala
    1.18    Tools/doc.scala