diff options
author | Karl Berry <karl@freefriends.org> | 2020-05-16 22:27:18 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-05-16 22:27:18 +0000 |
commit | e770f6408281073180c3278342772768bcc18377 (patch) | |
tree | 1d7acfd025b15f070b130fd085123495bb2cb3c6 /Master/bin/armhf-linux | |
parent | a49406d349ce3052d826a20206cfdb832ed36bd4 (diff) |
restore man symlinks per platform (except bin/win32), to avoid error
extracting symlink on Windows.
https://tug.org/pipermail/tex-live/2020-May/045718.html
git-svn-id: svn://tug.org/texlive/trunk@55167 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/armhf-linux')
l--------- | Master/bin/armhf-linux/man | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/bin/armhf-linux/man b/Master/bin/armhf-linux/man new file mode 120000 index 00000000000..de710c47239 --- /dev/null +++ b/Master/bin/armhf-linux/man @@ -0,0 +1 @@ +../texmf-dist/doc/man
\ No newline at end of file |