diff options
author | Karl Berry <karl@freefriends.org> | 2014-05-04 17:30:28 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2014-05-04 17:30:28 +0000 |
commit | f9822caf9ce5ac6d46ea90d6c8ceff29a96a4fb3 (patch) | |
tree | b41d8aca9e3c6ed111e89be3f5b9b23660c06e26 /Master/tlpkg/tlpsrc/seetexk.tlpsrc | |
parent | d01efbd469a94e21b4935d9e6209466edc531195 (diff) |
man pages should be docpattern, not runpattern (report from Edd Barrett, 23 Nov 2013 14:54:02)
git-svn-id: svn://tug.org/texlive/trunk@33818 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/seetexk.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/seetexk.tlpsrc | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/Master/tlpkg/tlpsrc/seetexk.tlpsrc b/Master/tlpkg/tlpsrc/seetexk.tlpsrc index 95711d6a329..0d06cee3074 100644 --- a/Master/tlpkg/tlpsrc/seetexk.tlpsrc +++ b/Master/tlpkg/tlpsrc/seetexk.tlpsrc @@ -1,10 +1,12 @@ category TLCore catalogue dvibook -runpattern f texmf-dist/doc/man/man1/dvibook.* -runpattern f texmf-dist/doc/man/man1/dviconcat.* -runpattern f texmf-dist/doc/man/man1/dviselect.* -runpattern f texmf-dist/doc/man/man1/dvitodvi.* +# binpattern f bin/${ARCH}/dvibook binpattern f bin/${ARCH}/dviconcat binpattern f bin/${ARCH}/dviselect binpattern f bin/${ARCH}/dvitodvi +# +docpattern f texmf-dist/doc/man/man1/dvibook.* +docpattern f texmf-dist/doc/man/man1/dviconcat.* +docpattern f texmf-dist/doc/man/man1/dviselect.* +docpattern f texmf-dist/doc/man/man1/dvitodvi.* |