1 2 3 4
sed -i -e "s/jadetex//" $1 sed -i -e "s/tex4ht//" $1 sed -i -e "s/xmltex//" $1 sed -i -e "s/passivetex //" $1