opal_info_path_mandir   62 opal/runtime/opal_info_support.c const char *opal_info_path_mandir = "mandir";
opal_info_path_mandir  384 opal/runtime/opal_info_support.c         opal_info_show_path(opal_info_path_mandir, opal_install_dirs.mandir);
opal_info_path_mandir  409 opal/runtime/opal_info_support.c             } else if (0 == strcmp(opal_info_path_mandir, scope)) {
opal_info_path_mandir  410 opal/runtime/opal_info_support.c                 opal_info_show_path(opal_info_path_mandir, opal_install_dirs.mandir);