diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2009-11-14 14:04:11 +0000 |
|---|---|---|
| committer |   Mikle Kolyada <zlogene@gentoo.org> | 2019-06-09 17:54:33 +0300 |
| commit | 985b84769b8e9e71086b8a370628d2c294154707 (patch) | |
| tree | 720e96102eb4b8fb8b8b7dc10aec1bafe9a34fcc /scripts/texlive/tlpsrc/texlive-htmlxml.extraexec | |
| parent | also clean .unpacked (diff) | |
| download | tex-985b84769b8e9e71086b8a370628d2c294154707.tar.gz tex-985b84769b8e9e71086b8a370628d2c294154707.tar.bz2 tex-985b84769b8e9e71086b8a370628d2c294154707.zip | |
yet more 2009 changes
svn path=/; revision=389
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 |