From b157abedb7a2047c5915ab69a66b4410ecfef356 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Mon, 15 Aug 2022 17:38:05 -0700
Subject: [PATCH] Fix make_artifacts.sh.

---
 linux/make_artifacts.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/linux/make_artifacts.sh b/linux/make_artifacts.sh
index 78759da00..7a314e485 100644
--- a/linux/make_artifacts.sh
+++ b/linux/make_artifacts.sh
@@ -44,6 +44,7 @@ make_deb() {
   DEST=$DIST/usr
   COPYRIGHT=$DEST/share/doc/$EXE/copyright
 
+  cd /mnt
   mkdir -p $DEST/bin
   mkdir -p $DEST/share/man/man1
   mkdir -p $DEST/share/doc/$EXE