From 9072758b793cba182adf846f8cad62dc7606c228 Mon Sep 17 00:00:00 2001 From: Alexis Ballier Date: Wed, 7 Jun 2017 15:27:37 +0200 Subject: extraexec from htmlxml to formatsextra --- scripts/texlive/tlpsrc/texlive-formatsextra.extraexec | 4 ++++ scripts/texlive/tlpsrc/texlive-htmlxml.extraexec | 4 ---- 2 files changed, 4 insertions(+), 4 deletions(-) create mode 100644 scripts/texlive/tlpsrc/texlive-formatsextra.extraexec delete mode 100644 scripts/texlive/tlpsrc/texlive-htmlxml.extraexec diff --git a/scripts/texlive/tlpsrc/texlive-formatsextra.extraexec b/scripts/texlive/tlpsrc/texlive-formatsextra.extraexec new file mode 100644 index 0000000..daac018 --- /dev/null +++ b/scripts/texlive/tlpsrc/texlive-formatsextra.extraexec @@ -0,0 +1,4 @@ +sed -i -e "s/jadetex//" $1 +sed -i -e "s/tex4ht//" $1 +sed -i -e "s/xmltex//" $1 +sed -i -e "s/passivetex //" $1 diff --git a/scripts/texlive/tlpsrc/texlive-htmlxml.extraexec b/scripts/texlive/tlpsrc/texlive-htmlxml.extraexec deleted file mode 100644 index daac018..0000000 --- a/scripts/texlive/tlpsrc/texlive-htmlxml.extraexec +++ /dev/null @@ -1,4 +0,0 @@ -sed -i -e "s/jadetex//" $1 -sed -i -e "s/tex4ht//" $1 -sed -i -e "s/xmltex//" $1 -sed -i -e "s/passivetex //" $1 -- cgit v1.2.3-65-gdbad