********************************************************************************
The metaocaml port installs all man pages in /usr/local/share/metaocaml/man.
Please edit your MANPATH (or /etc/manpath.config) appropriately.
********************************************************************************