#!/bin/sh

PH=`which ph`

echo Content-type: text/html
echo

if [ -x $PH ]; then
	if [ $# = 0 ]; then
		cat << EOM
<TITLE>PH gateway</TITLE>
<H1>PH gateway</H1>

<ISINDEX>

This is a gateway to the PH service. To look up a person, enter a
query in your browser's search mode.   <P>

EOM
	else 
		echo \<PRE\>
		$PH $*
	fi
else
	echo Cannot find ph on this system.
fi


