1 2 3 4 5 6 7 8 9
#!/bin/sh -e install="$1" bindir="$2" destdir="$3" while read old new html ; do "$install" -D -m 0755 "$new" "$destdir/$bindir/$new" done < ./tools/name-table