diff options
-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 |