From f0943813782a44c9948dd51a64ca241cf6762087 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Mon, 15 Aug 2022 13:07:32 -0700
Subject: [PATCH] make_artifacts.sh: create doc directory.

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

diff --git a/linux/make_artifacts.sh b/linux/make_artifacts.sh
index cb9343808..59b451660 100644
--- a/linux/make_artifacts.sh
+++ b/linux/make_artifacts.sh
@@ -46,6 +46,7 @@ make_deb() {
 
   mkdir -p $DEST/bin
   mkdir -p $DEST/share/man/man1
+  mkdir -p $DEST/share/doc/$EXE
 
   find $DIST -type d | xargs chmod 755
   cp $ARTIFACTS/$EXE $DEST/bin/