Add --rm to docker command in INSTALL.md.
commitaa5903705a654d71d468ec391ec98171867c70fe
authorJohn MacFarlane <jgm@berkeley.edu>
dateFri 17 Jan 2020, 08:56 (7 years ago)
parent672a4bd
INSTALL.md+1−1
@@ -157,7 +157,7 @@ to produce PDFs using pandoc.
157157
158158To run pandoc using Docker, converting `README.md` to `README.pdf`:
159159
160− docker run --volume "`pwd`:/data" --user `id -u`:`id -g` pandoc/latex README.md -o README.pdf
160+ docker run --rm --volume "`pwd`:/data" --user `id -u`:`id -g` pandoc/latex README.md -o README.pdf
161161
162162## GitHub Actions
163163