diff options
author | Karl Berry <karl@freefriends.org> | 2020-05-11 01:12:15 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-05-11 01:12:15 +0000 |
commit | 61ab31af1fb910f473beb20b02bfb09411755be7 (patch) | |
tree | 97db074ea3fd557fd9e18ad9204f67539b6c2053 /Master/bin | |
parent | 48c71421523391586dfd0e1d0215914faf4e73b0 (diff) |
commit bin/man link, https://tug.org/pipermail/tex-live/2020-May/045599.html
git-svn-id: svn://tug.org/texlive/trunk@55093 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin')
l--------- | Master/bin/man | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/bin/man b/Master/bin/man new file mode 120000 index 00000000000..de710c47239 --- /dev/null +++ b/Master/bin/man @@ -0,0 +1 @@ +../texmf-dist/doc/man
\ No newline at end of file |