diff options
| author | Karl Berry <karl@freefriends.org> | 2020-05-11 21:31:25 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2020-05-11 21:31:25 +0000 |
| commit | 452d13827931c6df0bccab577619041544ae014d (patch) | |
| tree | 645db7bb9284af39041ef8ca1ff9a5a5d5fa4790 /Build | |
| parent | 0c836e701e8d84920ac80f92b3d4af56c2978e95 (diff) | |
try bin/man as runpattern instead of binpattern
git-svn-id: svn://tug.org/texlive/trunk@55109 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
0 files changed, 0 insertions, 0 deletions