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 | |
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$.
-rw-r--r-- | share/man/tools/.param | 2 | ||||
-rwxr-xr-x | share/man/tools/mgrep | 8 | ||||
-rwxr-xr-x | share/man/tools/tocrc | 8 |
3 files changed, 13 insertions, 5 deletions
diff --git a/share/man/tools/.param b/share/man/tools/.param index 329b82d..96c1bbd 100644 --- a/share/man/tools/.param +++ b/share/man/tools/.param @@ -2,7 +2,7 @@ export MANDIR TMPDIR export DIRLST FILLST export LFLAG PFLAG ID -MANDIR=/usr/man +MANDIR=/usr/share/man TMPDIR=/tmp DIRLST= FILLST= 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 diff --git a/share/man/tools/tocrc b/share/man/tools/tocrc index 1d50a05..dc9e5dc 100755 --- a/share/man/tools/tocrc +++ b/share/man/tools/tocrc @@ -1,5 +1,9 @@ -MANDIR=/usr/man -TMPDIR=/usr/man/tmp +#!/bin/sh +# +# $FreeBSD$ + +MANDIR=/usr/share/man +TMPDIR=/usr/share/man/tmp TOOLS=$MANDIR/tools trap "rm $TMPDIR/tmp.$$ ; exit" 2 3 15 |