summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
Diffstat (limited to 'Master')
-rw-r--r--Master/tlpkg/tlpsrc/ptex.tlpsrc1
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.*