#! /bin/gsh
#
# $Id: help.gsh,v 1.1 1997/10/30 03:51:56 gdr Exp $
#
# When it becomes available, /bin/sh should be used for this and
# it should be made a bit "smarter", such as using $PAGER if it is
# defined and checking the usage.
#
/bin/more 17/help/$1