path: root/tools/link-bins

#!/bin/sh -e

while read old new html ; do
  ln -f "./$old" "./$new"
done < ./tools/name-table