From c7c5b0f4ce45bb16bf1b16232e49d201e702d594 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sun, 17 Jan 2021 16:14:59 +0000
Subject: [PATCH] Added build dir.

---
 isabelle_dof/hooks/build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isabelle_dof/hooks/build b/isabelle_dof/hooks/build
index 3be65b7..3894f31 100755
--- a/isabelle_dof/hooks/build
+++ b/isabelle_dof/hooks/build
@@ -43,5 +43,5 @@ else
 fi
 
 $CONTAINER build --build-arg isadof_version="$ISADOF_VERSION" \
-                 -t $IMAGE_NAME
+                 -t $IMAGE_NAME .