diff options
| -rw-r--r-- | Master/tlpkg/tlpsrc/ptex.tlpsrc | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/Master/tlpkg/tlpsrc/ptex.tlpsrc b/Master/tlpkg/tlpsrc/ptex.tlpsrc index f2a60488ade..885380e5915 100644 --- a/Master/tlpkg/tlpsrc/ptex.tlpsrc +++ b/Master/tlpkg/tlpsrc/ptex.tlpsrc @@ -31,9 +31,5 @@ docpattern +f texmf-dist/doc/man/man1/makejvf.* docpattern +f texmf-dist/doc/man/man1/mendex.* docpattern +f texmf-dist/doc/man/man1/ptex.* -# pbibtex excludes: -docpattern +!d texmf-dist/doc/ptex/pbibtex - -# ptex-base excludes: -runpattern +!d texmf-dist/tex/ptex/ptex-base -docpattern +!d texmf-dist/doc/ptex/ptex-base +# All the doc is in other packages. +docpattern +!d texmf-dist/doc/ptex |