
/usr/share/man

# Directories to install man pages - if no manpath is available
