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.1.do | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 srtplay.1.do

(limited to 'srtplay.1.do')

diff --git a/srtplay.1.do b/srtplay.1.do
deleted file mode 100644
index d054395..0000000
--- a/srtplay.1.do
+++ /dev/null
@@ -1,3 +0,0 @@
-if haredo ++ "$1".scd; then
-	scdoc < "$1".scd > "$3"
-fi
-- 
cgit v1.2.3