diff -r 56b52fc25c95 -r d8ccbd5305bf src/Pure/System/isabelle_tool.scala
--- a/src/Pure/System/isabelle_tool.scala	Sat Jan 14 20:22:15 2017 +0100
+++ b/src/Pure/System/isabelle_tool.scala	Sat Jan 14 20:33:55 2017 +0100
@@ -101,6 +101,7 @@
     List(
       Build.isabelle_tool,
       Build_Doc.isabelle_tool,
+      Build_Docker.isabelle_tool,
       Build_PolyML.isabelle_tool,
       Build_Stats.isabelle_tool,
       Check_Sources.isabelle_tool,