diff options
| author | Karl Berry <karl@freefriends.org> | 2016-03-29 21:22:44 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2016-03-29 21:22:44 +0000 |
| commit | e559e048a6fa47247236956d1af8a7d0527938cf (patch) | |
| tree | 315c01556803ed0e4cc184b643bb5b1785305cd2 /Master | |
| parent | d3772a8603d4c90e9fdfe1c942e85aa968f23dd6 (diff) | |
docpattern for man pages
git-svn-id: svn://tug.org/texlive/trunk@40175 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
| -rw-r--r-- | Master/tlpkg/tlpsrc/dvidvi.tlpsrc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/tlpsrc/dvidvi.tlpsrc b/Master/tlpkg/tlpsrc/dvidvi.tlpsrc index c4619d04282..61afc12c7d3 100644 --- a/Master/tlpkg/tlpsrc/dvidvi.tlpsrc +++ b/Master/tlpkg/tlpsrc/dvidvi.tlpsrc @@ -1,5 +1,5 @@ category TLCore -runpattern f texmf-dist/doc/man/man1/dvidvi.* +docpattern f texmf-dist/doc/man/man1/dvidvi.* binpattern f bin/${ARCH}/dvidvi binpattern f/win32 bin/win32/a5bookle binpattern f/win32 bin/win32/doubside |