#!/bin/sh

# $Id: man_path,v 1.4 2006/09/04 10:23:23 pav Rel 1.6-3 $

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

echo $MAN_PATH