1 2 3 4 5 6
sed -i -e "s/bin-xdvi //" $@ sed -i -e "s/bin-dvipdfm //" $@ sed -i -e "s/luatex //" $@ sed -i -e "s/pdftex //" $@ sed -i -e "s/bin-tex //" $@ sed -i -e "s/bin-metafont //" $@