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 /install.do | |
| parent | 277fa45fd3d6bd80842660460ce978a01d286ced (diff) | |
Replace haredo with make
Make is much more widely available.
Diffstat (limited to 'install.do')
| -rw-r--r-- | install.do | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/install.do b/install.do deleted file mode 100644 index 0d66606..0000000 --- a/install.do +++ /dev/null @@ -1,8 +0,0 @@ -PREFIX="${PREFIX:-/usr/local}" -BINDIR="${BINDIR:-$PREFIX/bin}" -MANDIR="${MANDIR:-$PREFIX/share/man}" - -if haredo all; then - install -Dm755 ./srtplay "$BINDIR"/srtplay - install -Dm644 ./srtplay.1 "$MANDIR"/man1/srtplay.1 -fi |