mirror of
https://github.com/GnoConsortium/gno.git
synced 2025-08-10 04:25:08 +00:00
10 lines
253 B
Plaintext
10 lines
253 B
Plaintext
#! /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
|