diff --git a/build.sh b/build.sh
index 33905a8..e914128 100755
--- a/build.sh
+++ b/build.sh
@@ -39,5 +39,5 @@ export IMAGE_NAME=logicalhacking/isabelle$VERSION
 ( cd isabelle && source hooks/build)
 
 # Generate Isabelle/DOF image
-ISADOF_VERSION=1.0.0
-( cd isabelle_dof && source hooks/build)
+#ISADOF_VERSION=1.0.0
+#( cd isabelle_dof && source hooks/build)