Searched refs:manroot (Results 1 – 2 of 2) sorted by relevance
233 local manroot catroot mann man0 catn cat0235 manroot="$1/man$2"238 manroot="$manroot/$3"242 if [ ! -d "$manroot" -a ! -d "$catroot" ]; then245 decho " Searching directory $manroot" 2247 mann="$manroot/$4.$2"248 man0="$manroot/$4.0"
111288 manroot