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