#! /bin/csh -f
/usr/bin/man $*
echo -n "<ENTER to continue>"
set foo $<
