From faa77316ca92cdb8dca981bd71726b692682de1d Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sat, 6 Mar 2021 12:31:04 -0800
Subject: [PATCH] Don't --rm docker.

---
 Makefile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Makefile b/Makefile
index 5f74cfd2e..e5da75616 100644
--- a/Makefile
+++ b/Makefile
@@ -86,7 +86,6 @@ debpkg: man/pandoc.1
 		   -e REVISION=$(REVISION) \
 		   -w /mnt \
 		   --memory=0 \
-		   --rm \
 		   $(DOCKERIMAGE) \
 		   bash \
 		   /mnt/linux/make_artifacts.sh