diff options
Diffstat (limited to 'release/scripts/extract_manpages.sh')
| -rw-r--r-- | release/scripts/extract_manpages.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/release/scripts/extract_manpages.sh b/release/scripts/extract_manpages.sh deleted file mode 100644 index 46c046e88ee2..000000000000 --- a/release/scripts/extract_manpages.sh +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/sh -# $Id: extract_manpages.sh,v 1.1 1995/01/14 07:41:43 jkh Exp $ -set -e -PATH=/stand:$PATH -DDIR=/ - -DIST=manpages -echo "Extracting ${DIST}" -cat ${DIST}.?? | gzip -c -d | ( cd $DDIR; cpio -H tar -imdu ) |