grm

commit 22c26b97b2413a9c1b775508aea06793c3841fa1
parent 1ca03e6fcecb6075a0fff8f20b40ba3bc2a6e2aa
Author: krasjet <nil@krj.st>
Date:   Fri, 17 Jul 2020 14:34:57 -0700

add makefile

Diffstat:
A
Makefile
 | 
12
++++++++++++
M
README
 | 
4
+++-
M
README.md
 | 
6
+++++-

3 files changed, 20 insertions(+), 2 deletions(-)
diff --git a/Makefile b/Makefile
@@ -0,0 +1,12 @@
+# not a makefile, but rather an install script
+
+PREFIX = /usr
+
+install:
+	mkdir -p ${PREFIX}/bin
+	cp -f grm ${PREFIX}/bin/
+
+uninstall:
+	rm -f ${PREFIX}/bin/grm
+
+.PHONY: install uninstall
diff --git a/README b/README
@@ -51,7 +51,9 @@ To use git repo manager, edit the grm script to fill in some configurations,
   # root directory of stagit web pages
   STAGIT_WEB_ROOT="/srv/git"
 
-and copy it to $PATH.
+then
+
+  $ make install
 
 An example of the post-receive hook for stagit can be found here [5]. Note that
 the hook itself needs some further configuration. You could also write your own
diff --git a/README.md b/README.md
@@ -55,7 +55,11 @@ GRM_POSTRECV_HOOK="/home/git/.post-receive"
 STAGIT_WEB_ROOT="/srv/git"
 ```
 
-and copy it to `$PATH`.
+then
+
+```
+$ make install
+```
 
 An example of the `post-receive` hook for stagit can be found [here][5]. Note
 that the hook itself needs some further configuration. You could also write