diff options
author | Mikle Kolyada <zlogene@gentoo.org> | 2021-04-02 09:01:15 +0300 |
---|---|---|
committer | Mikle Kolyada <zlogene@gentoo.org> | 2021-04-02 09:01:15 +0300 |
commit | 9e31b7af6e23f86bd585457be0d5becbf79af11a (patch) | |
tree | 0041ba794a6fd1cf97d3cd144902a2e80565c906 /scripts/texlive/tlpsrc/texlive-music.extraexec | |
parent | merge pdfjam (diff) | |
download | tex-9e31b7af6e23f86bd585457be0d5becbf79af11a.tar.gz tex-9e31b7af6e23f86bd585457be0d5becbf79af11a.tar.bz2 tex-9e31b7af6e23f86bd585457be0d5becbf79af11a.zip |
ignore some langenglish and music collections files
Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
Diffstat (limited to 'scripts/texlive/tlpsrc/texlive-music.extraexec')
-rw-r--r-- | scripts/texlive/tlpsrc/texlive-music.extraexec | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/texlive/tlpsrc/texlive-music.extraexec b/scripts/texlive/tlpsrc/texlive-music.extraexec new file mode 100644 index 0000000..5e5fb1c --- /dev/null +++ b/scripts/texlive/tlpsrc/texlive-music.extraexec @@ -0,0 +1,2 @@ +sed -i -e "s/xml2pmx //" $@ +sed -i -e "s/gregoriotex //" $@ |