From eb58bbed6d3a1147c76d181de0368dd2faf3b656 Mon Sep 17 00:00:00 2001 From: Walter Schulze Date: Sat, 27 Jun 2015 12:08:48 +0200 Subject: [PATCH] fixed Makefile --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index cb7c885..d903aba 100644 --- a/Makefile +++ b/Makefile @@ -62,7 +62,7 @@ uninstall: @rmdir $(INSTALL_DIR) @rmdir $(MANUAL_DIR) -docker-run: docker-build $(DEMO_PDF) $(MANUAL_PDF) $(STY) +docker-run: docker-build docker run --rm=true --name $(DOCKER_CONTAINER) -i -t -v `pwd`:/data $(DOCKER_IMAGE) /data/build.sh docker-build: