aboutsummaryrefslogtreecommitdiff
blob: 8b1fc46ea7972c27898f197ee976c8e1cfae3d40 (plain)
1
2
sed -i -e "s/knuth-errata //" $@
sed -i -e "s/knuth-pdf //" $@