diff options
Diffstat (limited to 'scripts/texlive/tlpsrc/texlive-htmlxml.extraexec')
-rw-r--r-- | scripts/texlive/tlpsrc/texlive-htmlxml.extraexec | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/scripts/texlive/tlpsrc/texlive-htmlxml.extraexec b/scripts/texlive/tlpsrc/texlive-htmlxml.extraexec index c28ea27..daac018 100644 --- a/scripts/texlive/tlpsrc/texlive-htmlxml.extraexec +++ b/scripts/texlive/tlpsrc/texlive-htmlxml.extraexec @@ -1,7 +1,4 @@ -sed -i -e "s/bin-jadetex//" $1 sed -i -e "s/jadetex//" $1 -sed -i -e "s/bin-tex4htk//" $1 sed -i -e "s/tex4ht//" $1 sed -i -e "s/xmltex//" $1 -sed -i -e "s/bin-xmltex//" $1 sed -i -e "s/passivetex //" $1 |