diff options
author | Karl Berry <karl@freefriends.org> | 2008-08-14 12:55:22 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-08-14 12:55:22 +0000 |
commit | 692cadb76fd466e13648572890ea7d2c8114ad96 (patch) | |
tree | 8e30a7d608975c6f15b2180063d1abde7e763f63 /Master/tlpkg/tlpsrc/synctex.tlpsrc | |
parent | bb4b2e6c469e22c8766d321a1fd1e45bb4590038 (diff) |
coverage, nicer msgs
git-svn-id: svn://tug.org/texlive/trunk@10340 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/synctex.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/synctex.tlpsrc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/synctex.tlpsrc b/Master/tlpkg/tlpsrc/synctex.tlpsrc index 81748b6d470..d11bf233fef 100644 --- a/Master/tlpkg/tlpsrc/synctex.tlpsrc +++ b/Master/tlpkg/tlpsrc/synctex.tlpsrc @@ -1,3 +1,5 @@ name synctex category TLCore binpattern f bin/${ARCH}/synctex +docpattern f texmf/doc/man/man1/synctex.* +docpattern f texmf/doc/man/man5/synctex.* |