|
#! /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
|