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