diff options
| author | Jeroen Ruigrok van der Werven <asmodai@FreeBSD.org> | 2001-02-06 12:45:29 +0000 |
|---|---|---|
| committer | Jeroen Ruigrok van der Werven <asmodai@FreeBSD.org> | 2001-02-06 12:45:29 +0000 |
| commit | 680a9c90e866fb1d8714028a7bd2c11adb6d20d8 (patch) | |
| tree | 513c4d0e9bd27a2547c08d1dbdf4f24106b95eaa | |
| parent | 06a519dfc9c68f284e4e8cd9677416f7c08ac9da (diff) | |
Notes
| -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 329b82dacd58..96c1bbd5d0c9 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 57dbc5418809..dc47351f133d 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 1d50a0535b26..dc9e5dc0e62a 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 |