diff options
-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 |