gno/usr.bin/help/help.gsh

#! /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
initial checkin. Kind of stupid for now. 1997-08-02 20:49:21 +00:00			`#! /bin/gsh`
			`#`
Added documentation, make 'help' explicitly a gsh script. 1997-10-30 03:51:56 +00:00			`# $Id: help.gsh,v 1.1 1997/10/30 03:51:56 gdr Exp $`
initial checkin. Kind of stupid for now. 1997-08-02 20:49:21 +00:00			`#`
			`# 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`