diff options
Diffstat (limited to 'Master')
-rw-r--r-- | Master/tlpkg/tlpsrc/bin-texdoc.tlpsrc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/bin-texdoc.tlpsrc b/Master/tlpkg/tlpsrc/bin-texdoc.tlpsrc index 6749ceea885..71f8d39afa4 100644 --- a/Master/tlpkg/tlpsrc/bin-texdoc.tlpsrc +++ b/Master/tlpkg/tlpsrc/bin-texdoc.tlpsrc @@ -7,6 +7,7 @@ runpattern f texmf/texdoctk/* runpattern f texmf/texdoc/* docpattern f texmf/doc/man/man1/texdoc.* docpattern f texmf/doc/man/man1/texdoctk.* +docpattern f texmf/doc/texdoc/* binpattern f bin/${ARCH}/texdoc binpattern f bin/${ARCH}/texdoctk binpattern f bin/win32/texdocc |