#!/bin/sh
exec info -d "`dirname $0`/../info" "$@"
