From 2eb1774f3f30ee3e766ac73a6df037b62cd56d07 Mon Sep 17 00:00:00 2001
From: Sam Nystrom <sam@samnystrom.dev>
Date: Wed, 16 Aug 2023 16:27:37 -0400
Subject: Replace haredo with make

Make is much more widely available.
---
 srtplay.do | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 srtplay.do

(limited to 'srtplay.do')

diff --git a/srtplay.do b/srtplay.do
deleted file mode 100644
index 849b759..0000000
--- a/srtplay.do
+++ /dev/null
@@ -1,3 +0,0 @@
-if haredo ++ *.ha; then
-	hare build -o "$3" .
-fi
-- 
cgit v1.2.3