missing man path

[Jan Musinsky]

> Ok, I guess I'll have to put the bin/PLATFORM/man links back, ugly as they are.

Thanks Karl. I think we have 3 options (on Linux):

PATH=/opt/texlive/2020/bin/x86_64-linux

1) default "ugly"
$ pwd
/opt/texlive/2020/bin/x86_64-linux
$ ln -s ../../texmf-dist/doc/man man

2) maybe more "elegant"
$ pwd
/opt/texlive/2020/bin
$ ln -s ../texmf-dist/doc/man man

3) work man + info
$ pwd
/opt/texlive/2020/bin
$ ln -s ../texmf-dist/doc share

Personally I prefer option 2