diff options
| -rw-r--r-- | scripts/texlive/tlpsrc/texlive-binextra.extraexec | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/texlive/tlpsrc/texlive-binextra.extraexec b/scripts/texlive/tlpsrc/texlive-binextra.extraexec index 954c2ca..d3c5a24 100644 --- a/scripts/texlive/tlpsrc/texlive-binextra.extraexec +++ b/scripts/texlive/tlpsrc/texlive-binextra.extraexec @@ -1,5 +1,4 @@ sed -i -e "s/detex //" $@ -sed -i -e "s/xindy //" $@ sed -i -e "s/chktex //" $@ sed -i -e "s/dvisvgm //" $@ sed -i -e "s/latexdiff //" $@ |