diff options
author | asmodai <asmodai@FreeBSD.org> | 2001-02-06 12:45:29 +0000 |
---|---|---|
committer | asmodai <asmodai@FreeBSD.org> | 2001-02-06 12:45:29 +0000 |
commit | 30048f7c0515f6ac06598032ef3b2ad58b00d388 (patch) | |
tree | 121ec686de34c4fc6a55505259115c81cd6e2203 /share/man/tools/mgrep | |
parent | 00a84250a000ef2221bf5856d2c61e77d2b7e50a (diff) | |
download | FreeBSD-src-30048f7c0515f6ac06598032ef3b2ad58b00d388.zip FreeBSD-src-30048f7c0515f6ac06598032ef3b2ad58b00d388.tar.gz |
Our manual pages are no longer in /usr/man, but in /usr/share/man.
Also, add the default #!/bin/sh for shellscripts, as well as $FreeBSD$.
Diffstat (limited to 'share/man/tools/mgrep')
-rwxr-xr-x | share/man/tools/mgrep | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/share/man/tools/mgrep b/share/man/tools/mgrep index 57dbc54..dc47351 100755 --- a/share/man/tools/mgrep +++ b/share/man/tools/mgrep @@ -1,5 +1,9 @@ -MANDIR=/usr/man -TMPDIR=/usr/man/tmp +#!/bin/sh +# +# $FreeBSD$ + +MANDIR=/usr/share/man +TMPDIR=/usr/share/man/tmp date > $TMPDIR/greps echo "Grep list: $*" >> $TMPDIR/greps |