diff options
| -rw-r--r-- | GNUmakefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile index 7d0be35..9ae27ca 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -75,3 +75,7 @@ deps.make: done > deps.make include deps.make + +prefix=/usr/local +install: + install -t ${prefix}/bin/ $(wildcard ${PROGS}) |