'info' itself should know this and cleverly show the correct page. I changed info -O info to silently use info-stnd.
Thanks, karl
'info' itself should know this and cleverly show the correct page. I changed info -O info to silently use info-stnd.
Thanks, karl