diff options
author | Karl Berry <karl@freefriends.org> | 2018-09-06 20:49:55 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-09-06 20:49:55 +0000 |
commit | 2ead911e00f34c1bd0ea67094940c56ede4f3a93 (patch) | |
tree | 6052b89065646ce2d880704d91c4be6dd47f3f7b | |
parent | 82ba1651933a56f7ee23a267cdd58b59d5743be6 (diff) |
ptex-base runtime exclude
git-svn-id: svn://tug.org/texlive/trunk@48609 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r-- | Master/tlpkg/tlpsrc/ptex.tlpsrc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/ptex.tlpsrc b/Master/tlpkg/tlpsrc/ptex.tlpsrc index 885380e5915..63e7dd56b46 100644 --- a/Master/tlpkg/tlpsrc/ptex.tlpsrc +++ b/Master/tlpkg/tlpsrc/ptex.tlpsrc @@ -31,5 +31,8 @@ docpattern +f texmf-dist/doc/man/man1/makejvf.* docpattern +f texmf-dist/doc/man/man1/mendex.* docpattern +f texmf-dist/doc/man/man1/ptex.* +# Runtime files in ptex-base. +runpattern +!d texmf-dist/tex/ptex/ptex-base + # All the doc is in other packages. docpattern +!d texmf-dist/doc/ptex |