From 5e860ea53b08bf658a7af116b5a82c1e65f44c77 Mon Sep 17 00:00:00 2001
From: Marco Cawthorne <marco@vera-visions.com>
Date: Tue, 11 Feb 2025 02:25:07 -0800
Subject: [PATCH] Tools/make_dist.sh: no longer require 'tree'

---
 Tools/make_dist.sh | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/Tools/make_dist.sh b/Tools/make_dist.sh
index edd26b77..e9cd473f 100755
--- a/Tools/make_dist.sh
+++ b/Tools/make_dist.sh
@@ -9,10 +9,6 @@ if ! [ -x "$(command -v zip)" ]; then
 	printf "'zip' is not installed.\n" >&2
 	exit 2
 fi
-if ! [ -x "$(command -v tree)" ]; then
-	printf "'tree' is not installed.\n" >&2
-	exit 2
-fi
 
 if [ $# -lt 2 ]; then
 	printf "$0 [gamedir] [output dir]\n" >&2