sed -i -e "s/knuth-errata //" $@
sed -i -e "s/knuth-pdf //" $@