diff options
author | Karl Berry <karl@freefriends.org> | 2010-05-21 15:46:02 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2010-05-21 15:46:02 +0000 |
commit | d85f27f45085fbc24298e63ecb55e95f3fdd117c (patch) | |
tree | fac2742f1ffadeecea4953c47ecc1a75cca94352 /Master/tlpkg/tlpsrc/chktex.tlpsrc | |
parent | 910d28c2e96d74a3e0c8aeffe61335b19530f391 (diff) |
rectify inconsistencies
git-svn-id: svn://tug.org/texlive/trunk@18406 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/chktex.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/chktex.tlpsrc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/chktex.tlpsrc b/Master/tlpkg/tlpsrc/chktex.tlpsrc index 4b36939ff63..6f881ca469a 100644 --- a/Master/tlpkg/tlpsrc/chktex.tlpsrc +++ b/Master/tlpkg/tlpsrc/chktex.tlpsrc @@ -5,3 +5,4 @@ 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 |