Searched refs:manroot (Results 1 – 2 of 2) sorted by relevance
195 local manroot catroot mann man0 catn cat0197 manroot="$1/man$2"200 manroot="$manroot/$3"204 if [ ! -d "$manroot" -a ! -d "$catroot" ]; then207 decho " Searching directory $manroot" 2209 mann="$manroot/$4.$2*"210 man0="$manroot/$4.0*"
111214 manroot