@@ -2,6 +2,7 @@ version?=$(shell grep '^[Vv]ersion:' pandoc.cabal | awk '{print $$2;}')
22pandoc=$(shell find dist -name pandoc -type f -exec ls -t {} \; | head -1)
33SOURCEFILES?=$(shell git ls-tree -r master --name-only | grep "\.hs$$")
44BRANCH?=master
5+ARCH=$(shell uname -m)
56DOCKERIMAGE=registry.gitlab.b-data.ch/ghc/ghc4pandoc:8.10.4
67COMMIT=$(shell git rev-parse --short HEAD)
78TIMESTAMP=$(shell date "+%Y%m%d_%H%M")
@@ -80,14 +81,15 @@ checkdocs:
8081 ! grep -q -n -e "\t" MANUAL.txt changelog.md
8182
8283debpkg: man/pandoc.1
83− docker run -v `pwd`:/mnt \
84+ (docker run -v `pwd`:/mnt \
8485 -v `pwd`/linux/artifacts:/artifacts \
8586 -e REVISION=$(REVISION) \
8687 -w /mnt \
8788 --memory=0 \
89+ --rm \
8890 $(DOCKERIMAGE) \
8991 bash \
90− /mnt/linux/make_artifacts.sh
92+ /mnt/linux/make_artifacts.sh) 2>&1 > docker.log
9193
9294man/pandoc.1: MANUAL.txt man/pandoc.1.before man/pandoc.1.after
9395 pandoc $< -f markdown -t man -s \