For every directory in ${PATH} that ends with "/bin", look for a

corresponding directory ending in "/man".

PR:		7215
Submitted by:	Wayne Scott <wscott@ichips.intel.com>
This commit is contained in:
Dag-Erling Smørgrav 1998-07-09 12:39:08 +00:00
parent d59b62e37b
commit d65fe5d36d
1 changed files with 11 additions and 0 deletions

View File

@ -122,6 +122,9 @@ usage ()
* If so, add that directory to the path. Example: user has
* $HOME/bin in his path and the directory $HOME/bin/man exists -- the
* directory $HOME/bin/man will be added to the manpath.
*
* Also search for a `man' directory next to the directory on the path.
* Example: $HOME/bin will look for $HOME/man
*/
char *
manpath (perrs)
@ -521,5 +524,13 @@ has_subdirs (p)
if (is_directory (t) == 1)
return t;
/* If the path ends in `bin' then replace with `man' and see if that works. */
if (len > 3 && strncmp(t+len-4, "/bin", 4) == 0) {
strcpy(t+len-4, "/man");
if (is_directory(t) == 1)
return t;
}
return NULL;
}