The manual pages reside in $PVM_ROOT/man. If your system supports the MANPATH environment variable to supply the man command with a list of directories, add this one to it.
If you use csh or a derivative, add the following lines near the end of your .login or .cshrc file:
if (! $?MANPATH) setenv MANPATH /usr/man:/usr/local/man setenv MANPATH "${MANPATH}:$PVM_ROOT/man"
If you use sh, add the following lines to your .profile:
if [ "$MANPATH" = "" ]; then MANPATH=/usr/man:/usr/local/man fi MANPATH="${MANPATH}:$PVM_ROOT/man" export MANPATH