diff --git a/docker/make_dockerfile.sh b/docker/make_dockerfile.sh index bec6e35..442a094 100755 --- a/docker/make_dockerfile.sh +++ b/docker/make_dockerfile.sh @@ -3,7 +3,7 @@ cat <