#!/bin/sh -e

install="$1"
bindir="$2"
sproot="${3#x}"
home="${4#x}"
exthome="${5#x}"
destdir="$6"

while read old new html ; do
  "$install" -D -l "../package/admin/execline/command/$new" "$destdir/command/$new"
done < ./tools/name-table