orte_info_path_mandir   78 orte/tools/orte-info/orte-info.h extern const char *orte_info_path_mandir;
orte_info_path_mandir   67 orte/tools/orte-info/param.c const char *orte_info_path_mandir = "mandir";
orte_info_path_mandir  240 orte/tools/orte-info/param.c         orte_info_show_path(orte_info_path_mandir, opal_install_dirs.mandir);
orte_info_path_mandir  265 orte/tools/orte-info/param.c             } else if (0 == strcmp(orte_info_path_mandir, scope)) {
orte_info_path_mandir  266 orte/tools/orte-info/param.c                 orte_info_show_path(orte_info_path_mandir, opal_install_dirs.mandir);