diff options
author | Karl Berry <karl@freefriends.org> | 2019-09-14 22:07:09 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-09-14 22:07:09 +0000 |
commit | 77c6ab621157215821ffc5d8b0dd655748c262e7 (patch) | |
tree | 8c7cc34fd220c9cacf2bfb1f0149419f083805ea /Master/tlpkg/tlpsrc/latex-tools-dev.tlpsrc | |
parent | e1f5126a433abad76994faf305f1df3ad04b6f02 (diff) |
latex-dev (15sep19)
git-svn-id: svn://tug.org/texlive/trunk@52096 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/latex-tools-dev.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/latex-tools-dev.tlpsrc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/latex-tools-dev.tlpsrc b/Master/tlpkg/tlpsrc/latex-tools-dev.tlpsrc new file mode 100644 index 00000000000..ac6f66883fe --- /dev/null +++ b/Master/tlpkg/tlpsrc/latex-tools-dev.tlpsrc @@ -0,0 +1,3 @@ +runpattern d texmf-dist/tex/latex-dev/tools +srcpattern d texmf-dist/source/latex-dev/tools +docpattern d texmf-dist/doc/latex-dev/tools |