Merge branch 'master' of github.com:Mathics3/mathics-omnibus

rocky · rocky · commit 0cc25ba94e96 · 2021-05-12T06:34:05.000-04:00
diff --git a/Makefile b/Makefile
@@ -30,6 +30,10 @@ endif
 #: Default target - same as "develop"
 all: docker-image
 
+#: Build docker image with cache clearing
+docker-pull:
+	$(DOCKER) pull mathicsorg/mathics:latest
+
 #: Push local docker image to dockerhub with tag: latest
 install push upload:
 	$(DOCKER) push mathicsorg/mathics:latest
