diff options
-rw-r--r-- | Master/tlpkg/tlpsrc/ptex.tlpsrc | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Master/tlpkg/tlpsrc/ptex.tlpsrc b/Master/tlpkg/tlpsrc/ptex.tlpsrc index 43fb374531e..7e4a86a1bd0 100644 --- a/Master/tlpkg/tlpsrc/ptex.tlpsrc +++ b/Master/tlpkg/tlpsrc/ptex.tlpsrc @@ -40,14 +40,6 @@ docpattern +f texmf-dist/doc/man/man1/mendex.* # pbibtex-base excludes: docpattern +!d texmf-dist/doc/ptex/pbibtex -# ptex-fonts excludes: -runpattern +!d texmf-dist/fonts/tfm/ptex -runpattern +!d texmf-dist/fonts/vf/ptex -runpattern +!d texmf-dist/fonts/source/ptex -runpattern +!d texmf-dist/fonts/type1/ptex -docpattern +!d texmf-dist/doc/fonts/ptex -docpattern +!d texmf-dist/doc/ptex/jvf - # ptex-base excludes: runpattern +!d texmf-dist/tex/ptex/ptex-base docpattern +!d texmf-dist/doc/ptex/ptex-base |