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