From aa5903705a654d71d468ec391ec98171867c70fe Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Fri, 17 Jan 2020 08:56:36 -0800
Subject: [PATCH] Add --rm to docker command in INSTALL.md.

---
 INSTALL.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/INSTALL.md b/INSTALL.md
index d65b70cf9..25b182583 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -157,7 +157,7 @@ to produce PDFs using pandoc.
 
 To run pandoc using Docker, converting `README.md` to `README.pdf`:
 
-    docker run --volume "`pwd`:/data" --user `id -u`:`id -g` pandoc/latex README.md -o README.pdf
+    docker run --rm --volume "`pwd`:/data" --user `id -u`:`id -g` pandoc/latex README.md -o README.pdf
 
 ## GitHub Actions