aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 134aedcb4..b357463be 100644
--- a/Makefile
+++ b/Makefile
@@ -83,7 +83,8 @@ debpkg: man/pandoc.1
-v `pwd`/linux/artifacts:/artifacts \
-e REVISION=$(REVISION) \
-w /mnt \
- utdemir/ghc-musl:v12-libgmp-ghc8101 bash \
+ registry.gitlab.b-data.ch/ghc/ghc4pandoc:8.10.4 \
+ bash \
/mnt/linux/make_artifacts.sh
man/pandoc.1: MANUAL.txt man/pandoc.1.before man/pandoc.1.after