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 9203cfb839c9d..d5a340cfe0963 100644 --- a/gnu/usr.bin/man/makewhatis/makewhatis.local.sh +++ b/gnu/usr.bin/man/makewhatis/makewhatis.local.sh @@ -33,7 +33,7 @@ # # PS: this wrapper works also for catman(1) # -# $Id: makewhatis.local.sh,v 1.2 1996/05/22 00:57:40 wosch Exp $ +# $Id: makewhatis.local.sh,v 1.3 1996/08/27 20:04:07 wosch Exp $ PATH=/bin:/usr/bin:$PATH; export PATH opt= dirs= localdirs= |