From 2eb1774f3f30ee3e766ac73a6df037b62cd56d07 Mon Sep 17 00:00:00 2001 From: Sam Nystrom Date: Wed, 16 Aug 2023 16:27:37 -0400 Subject: Replace haredo with make Make is much more widely available. --- Makefile | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 Makefile (limited to 'Makefile') 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 -- cgit v1.2.3