diff options
| -rw-r--r-- | Makefile | 22 | ||||
| -rw-r--r-- | all.do | 1 | ||||
| -rw-r--r-- | clean.do | 1 | ||||
| -rw-r--r-- | install.do | 8 | ||||
| -rw-r--r-- | srtplay.1.do | 3 | ||||
| -rw-r--r-- | srtplay.do | 3 |
6 files changed, 22 insertions, 16 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..dd6a300 --- /dev/null +++ b/Makefile @@ -0,0 +1,22 @@ +.POSIX: + +PREFIX=/usr/local +BINDIR=$(PREFIX)/bin +MANDIR=$(PREFIX)/share/man + +all: srtplay.1 + +srtplay.1: srtplay.1.scd + scdoc < $< > $@ + +clean: + rm -f srtplay.1 + +install: srtplay.1 + install -Dm755 srtplay $(BINDIR)/srtplay + install -Dm644 srtplay.1 $(MANDIR)/man1/srtplay.1 + +uninstall: + rm -f $(BINDIR)/srtplay $(MANDIR)/man1/srtplay.1 + +.PHONY: all clean install uninstall @@ -1 +0,0 @@ -haredo srtplay srtplay.1 diff --git a/clean.do b/clean.do deleted file mode 100644 index ae247ac..0000000 --- a/clean.do +++ /dev/null @@ -1 +0,0 @@ -rm -f srtplay srtplay.1 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 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 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 |