diff options
author | Karl Berry <karl@freefriends.org> | 2022-06-09 21:51:56 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2022-06-09 21:51:56 +0000 |
commit | 3d77c0a04b2f370c5765c06ea373c9cc05ae9149 (patch) | |
tree | c1922e2cd54f91263288f900ed152659e62086cd /Master/tlpkg/tlpsrc | |
parent | 8190a8c38928b3ecfdb3eda2ddcac462db0ee84d (diff) |
exclude latex-lab-dev from production latex-lab
git-svn-id: svn://tug.org/texlive/trunk@63527 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/latex-lab.tlpsrc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/latex-lab.tlpsrc b/Master/tlpkg/tlpsrc/latex-lab.tlpsrc index e69de29bb2d..53da2cdaa75 100644 --- a/Master/tlpkg/tlpsrc/latex-lab.tlpsrc +++ b/Master/tlpkg/tlpsrc/latex-lab.tlpsrc @@ -0,0 +1,3 @@ +runpattern +!d texmf-dist/tex/latex-dev/latex-lab +srcpattern +!d texmf-dist/source/latex-dev/latex-lab +docpattern +!d texmf-dist/doc/latex-dev/latex-lab |