diff options
-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 8f4a774d7b6..029a88b2cad 100644 --- a/Master/tlpkg/tlpsrc/bin-texdoc.tlpsrc +++ b/Master/tlpkg/tlpsrc/bin-texdoc.tlpsrc @@ -18,3 +18,4 @@ docpattern f texmf/doc/man/man1/texdoctk.html binpattern f bin/${ARCH}/texdoc binpattern f bin/${ARCH}/texdoctk binpattern f bin/win32/texdoctk.exe +binpattern f bin/win32/texdoc.exe |