#!/bin/sh

# $Id: man_path,v 1.4 2006-09-04 10:23:23 pav Exp $

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

echo $MAN_PATH