diff options
author | 2020-07-11 00:29:16 +0300 | |
---|---|---|
committer | 2020-07-11 00:29:16 +0300 | |
commit | 2a7329f93c965a3d2c11ecdb91b5a4127ee8ba17 (patch) | |
tree | 9d64f539d36c567378778aa87d101ad15e9dd7c0 | |
parent | merge cjk stuff (diff) | |
download | tex-2a7329f93c965a3d2c11ecdb91b5a4127ee8ba17.tar.gz tex-2a7329f93c965a3d2c11ecdb91b5a4127ee8ba17.tar.bz2 tex-2a7329f93c965a3d2c11ecdb91b5a4127ee8ba17.zip |
merge xmltex
Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
-rw-r--r-- | scripts/texlive/tlpsrc/texlive-formatsextra.extraexec | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/texlive/tlpsrc/texlive-formatsextra.extraexec b/scripts/texlive/tlpsrc/texlive-formatsextra.extraexec index daac018..c072418 100644 --- a/scripts/texlive/tlpsrc/texlive-formatsextra.extraexec +++ b/scripts/texlive/tlpsrc/texlive-formatsextra.extraexec @@ -1,4 +1,3 @@ sed -i -e "s/jadetex//" $1 sed -i -e "s/tex4ht//" $1 -sed -i -e "s/xmltex//" $1 sed -i -e "s/passivetex //" $1 |