#!/usr/bin/csh -f
#
# This script makes it easy to change the PS viewer to
# something else, should it be deemed preferable.
#
if (`uname -p` == ppc) then
	$OPENWINHOME/bin/pageview $1
else
	$OPENWINHOME/bin/imagetool $1
endif
exit 0
~