diff options
Diffstat (limited to 'Master')
-rw-r--r-- | Master/tlpkg/tlpsrc/chktex.tlpsrc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/tlpkg/tlpsrc/chktex.tlpsrc b/Master/tlpkg/tlpsrc/chktex.tlpsrc index 6f881ca469a..35811eb458b 100644 --- a/Master/tlpkg/tlpsrc/chktex.tlpsrc +++ b/Master/tlpkg/tlpsrc/chktex.tlpsrc @@ -2,7 +2,8 @@ category TLCore binpattern f bin/${ARCH}/chktex binpattern f bin/${ARCH}/chkweb binpattern f bin/${ARCH}/deweb +# docpattern f texmf/doc/man/man1/chktex.* docpattern f texmf/doc/man/man1/chkweb.* docpattern f texmf/doc/man/man1/deweb.* -docpattern f texmf doc/chktex +docpattern d texmf doc/chktex |