diff options
author | Karl Berry <karl@freefriends.org> | 2010-05-23 00:49:19 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2010-05-23 00:49:19 +0000 |
commit | 96a69e77b9a77dca9ae19b92924794413d78a044 (patch) | |
tree | cb90072d9aa8279c9655b06b44933333692bc8d8 | |
parent | bc929d1809ded50b3693ba640a3f5debbb5a943b (diff) |
doc/chktex is a directory
git-svn-id: svn://tug.org/texlive/trunk@18420 c570f23f-e606-0410-a88d-b1316a301751
-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 |