diff --git a/docker/Makefile b/docker/Makefile index 7d54ac280a9bc97f048b9d8d5dcad6b29509178f..4bb4b2dc409440fe74dfc53d1d5078b7196ba528 100644 --- a/docker/Makefile +++ b/docker/Makefile @@ -25,7 +25,7 @@ all: Dockerfile @echo "You may want to consider adding ARGS=--no-cache to force" @echo "Docker to rebuild all layers." - docker build . -t caisar/pub -f $^ --rm + docker build . -t laiser/caisar:pub -f $^ --rm Dockerfile: Makefile Dockerfile.template env.template sed 's|@UBUNTU_OPAM_BASE@|ocaml/opam:ubuntu-ocaml-4.13|g' Dockerfile.template | \