#!/bin/sh
exec man -M "`dirname $0`/../man" "$@"
