diff options
Diffstat (limited to 'tools/install-bins')
| -rwxr-xr-x | tools/install-bins | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tools/install-bins b/tools/install-bins new file mode 100755 index 0000000..143843a --- /dev/null +++ b/tools/install-bins @@ -0,0 +1,9 @@ +#!/bin/sh -e + +install="$1" +bindir="$2" +destdir="$3" + +while read old new html ; do + "$install" -D -m 600 "$new" "$destdir/$bindir/$new" +done < ./tools/name-table |