'info' itself should know this and cleverly show the correct page.

I changed  info -O info  to silently use info-stnd.

Thanks,
karl


Reply via email to