From d8863b054c5804131dc93cfac99b5c26dd65e283 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sun, 18 Aug 2019 19:52:20 +0100
Subject: [PATCH] Log image version during build.

---
 isabelle_dof/Dockerfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/isabelle_dof/Dockerfile b/isabelle_dof/Dockerfile
index 17cd7f1..bea731b 100644
--- a/isabelle_dof/Dockerfile
+++ b/isabelle_dof/Dockerfile
@@ -42,9 +42,11 @@ RUN apt-get -y update && apt-get install -y imagemagick evince && \
 
 USER isabelle
 RUN if [[ -z "$isadof_version" ]]; then \
+      echo "Creating image from repository (master branch)" && \
       git clone https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF.git && \
       (cd Isabelle_DOF && git checkout master) \
     else \
+      echo "Creating image using official release archive (version $isadof_version)" && \
       curl -s -L https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-"$isadof_version"_Isabelle2019.tar.xz | tar Jxf - && \
       ln -s Isabelle_DOF-"$isadof_version"_Isabelle2019 Isabelle_DOF; \
     fi && \