diff options
Diffstat (limited to 'Master')
-rw-r--r-- | Master/tlpkg/tlpsrc/ptex.tlpsrc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/ptex.tlpsrc b/Master/tlpkg/tlpsrc/ptex.tlpsrc index 24dc8a66584..80e6fd1908c 100644 --- a/Master/tlpkg/tlpsrc/ptex.tlpsrc +++ b/Master/tlpkg/tlpsrc/ptex.tlpsrc @@ -34,6 +34,7 @@ docpattern +f texmf-dist/doc/man/man1/makejvf.* docpattern +f texmf-dist/doc/man/man1/mendex.* docpattern +f texmf-dist/doc/man/man1/pbibtex.* docpattern +f texmf-dist/doc/man/man1/ppltotf.* +docpattern +f texmf-dist/doc/man/man1/ptekf.* docpattern +f texmf-dist/doc/man/man1/ptex.* docpattern +f texmf-dist/doc/man/man1/ptftopl.* |