path: root/tools/rename-bins

#!/bin/sh -e

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