diff options
| author | Sam Nystrom <sam@samnystrom.dev> | 2023-08-16 16:27:37 -0400 |
|---|---|---|
| committer | Sam Nystrom <sam@samnystrom.dev> | 2023-08-16 16:27:37 -0400 |
| commit | 2eb1774f3f30ee3e766ac73a6df037b62cd56d07 (patch) | |
| tree | c63f10996c182cfcf1a5c4a3144361f787a58648 /srtplay.1.do | |
| parent | 277fa45fd3d6bd80842660460ce978a01d286ced (diff) | |
Replace haredo with make
Make is much more widely available.
Diffstat (limited to 'srtplay.1.do')
| -rw-r--r-- | srtplay.1.do | 3 |
1 files changed, 0 insertions, 3 deletions
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 |