diff options
Diffstat (limited to 'release/scripts/extract_manpages.sh')
| -rw-r--r-- | release/scripts/extract_manpages.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/release/scripts/extract_manpages.sh b/release/scripts/extract_manpages.sh index ce4ef68..46c046e 100644 --- a/release/scripts/extract_manpages.sh +++ b/release/scripts/extract_manpages.sh @@ -1,5 +1,6 @@ #!/bin/sh -# $Id: extract.sh,v 1.17 1994/12/04 03:41:18 jkh Exp $ +# $Id: extract_manpages.sh,v 1.1 1995/01/14 07:41:43 jkh Exp $ +set -e PATH=/stand:$PATH DDIR=/ |
