Are /etc/manpath.config and $MANPATH_MAP portable? To systems using manpath, as the paragraph says. My (from 1988) doesn't mention it. Is it a GNU extension? No, it's specifically not a GNU package.