1995-01-14 07:41:52 +00:00
|
|
|
#!/bin/sh
|
1995-04-20 06:49:09 +00:00
|
|
|
# $Id: extract_manpages.sh,v 1.1 1995/01/14 07:41:43 jkh Exp $
|
|
|
|
|
set -e
|
1995-01-14 07:41:52 +00:00
|
|
|
PATH=/stand:$PATH
|
|
|
|
|
DDIR=/
|
|
|
|
|
|
|
|
|
|
DIST=manpages
|
|
|
|
|
echo "Extracting ${DIST}"
|
|
|
|
|
cat ${DIST}.?? | gzip -c -d | ( cd $DDIR; cpio -H tar -imdu )
|
