summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2010-05-23 00:49:19 +0000
committerKarl Berry <karl@freefriends.org>2010-05-23 00:49:19 +0000
commit96a69e77b9a77dca9ae19b92924794413d78a044 (patch)
treecb90072d9aa8279c9655b06b44933333692bc8d8
parentbc929d1809ded50b3693ba640a3f5debbb5a943b (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.tlpsrc3
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