#!/bin/sh

# $Id: man_path,v 1.3 2004/03/22 07:50:55 crypt Rel 1.5-3 $

MAN_PATH=/usr/man/
   
if [ ! -d $MAN_PATH ]; then
   MAN_PATH=/usr/share/man/
fi

echo $MAN_PATH