1
0
mirror of https://github.com/pdf2htmlEX/pdf2htmlEX.git synced 2024-12-22 13:00:08 +00:00

minor correction to createDockerImage

This commit is contained in:
Stephen Gaito 2020-05-28 11:42:35 +00:00
parent 124cae5d21
commit 6ff6689d9f

View File

@ -33,7 +33,7 @@ copy_deps
# Now. IF we have docker, THEN build the docker image... # Now. IF we have docker, THEN build the docker image...
if [ -x "$(which docker)" ]; then if [ -x "$(which docker)" ]; then
if [ -z "$DOCKER_FROM" ]; then if [ -z "$DOCKER_FROM" ]; then
echo "" echo ""