#! /bin/gsh
#
# $Id: help,v 1.1 1997/08/02 20:49:21 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
