diff options
Diffstat (limited to 'gnu/usr.bin/man/makewhatis/makewhatis.local.sh')
| -rw-r--r-- | gnu/usr.bin/man/makewhatis/makewhatis.local.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/usr.bin/man/makewhatis/makewhatis.local.sh b/gnu/usr.bin/man/makewhatis/makewhatis.local.sh index d566920cdd83..317491574776 100644 --- a/gnu/usr.bin/man/makewhatis/makewhatis.local.sh +++ b/gnu/usr.bin/man/makewhatis/makewhatis.local.sh @@ -10,7 +10,7 @@ # # PS: this wrapper works also for catman(1) # -# $Id: makewhatis.local.sh,v 1.1 1996/05/14 10:27:27 wosch Exp $ +# $Id: makewhatis.local.sh,v 1.2 1996/05/22 00:57:40 wosch Exp $ PATH=/bin:/usr/bin:$PATH; export PATH opt= dirs= localdirs= |