Make sure manual pages are properly linked to on systems that have case

insensitive file names, as well as those that do not have symlinks.
Incidently, both these cases apply on DOS/Windows...