If I remember correctly this has to do with update-alternatives not considering anything outside of /usr/share/man ... but my memory might be wrong. Is your configuration not installing man pages by default? Does installation of man-db help?
_______________________________________________ Mailing list: https://launchpad.net/~openjdk Post to : openjdk@lists.launchpad.net Unsubscribe : https://launchpad.net/~openjdk More help : https://help.launchpad.net/ListHelp
