getpath
pathl = getpath();
pathl = getpath();
static const char *getpath(void);
pathl = getpath();
m.getpath = 1;
if (!m.getpath && !argc)
if (m.getpath) {
int getpath; /* -p: print the path of directories containing man pages */