#!/bin/sh

#	BSDI	finger,v 1.1.1.1 1995/01/11 01:04:36 polk Exp

FINGER=/usr/bin/finger

echo Content-type: text/html
echo

if [ -x $FINGER ]; then
	if [ $# = 0 ]; then
		cat << EOM
<TITLE>Finger Gateway</TITLE>
<H1>Finger Gateway</H1>

<ISINDEX>

This is a gateway to "finger". Type a user@host combination in your browser's
search dialog.<P>
EOM
	else
		echo \<PRE\>
		$FINGER "$*"
	fi
else
	echo Cannot find finger on this system.
fi

