#!/bin/sh -e while read old new html ; do ln -f "./$old" "./$new" done < ./tools/name-table