diff options
author | 2020-07-24 21:46:03 +0300 | |
---|---|---|
committer | 2020-07-24 21:46:03 +0300 | |
commit | 9db23115e7e0f2085551849a6c7204d2bb52ed0d (patch) | |
tree | 98bfedf362bf90453c298abcfdcd25fb0e343664 | |
parent | merge xmltex (diff) | |
download | tex-9db23115e7e0f2085551849a6c7204d2bb52ed0d.tar.gz tex-9db23115e7e0f2085551849a6c7204d2bb52ed0d.tar.bz2 tex-9db23115e7e0f2085551849a6c7204d2bb52ed0d.zip |
merge jadetex
Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
-rw-r--r-- | scripts/texlive/tlpsrc/texlive-formatsextra.extraexec | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/scripts/texlive/tlpsrc/texlive-formatsextra.extraexec b/scripts/texlive/tlpsrc/texlive-formatsextra.extraexec index c072418..daefd8f 100644 --- a/scripts/texlive/tlpsrc/texlive-formatsextra.extraexec +++ b/scripts/texlive/tlpsrc/texlive-formatsextra.extraexec @@ -1,3 +1 @@ -sed -i -e "s/jadetex//" $1 -sed -i -e "s/tex4ht//" $1 sed -i -e "s/passivetex //" $1 |