path: root/scripts/texlive/tlpsrc/texlive-htmlxml.extraexec

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