?RCS: $Id$
?RCS:
?RCS: Copyright (c) 1991-1997, 2004-2006, Raphael Manfredi
?RCS:
?RCS: You may redistribute only under the terms of the Artistic License,
?RCS: as specified in the README file that comes with the distribution.
?RCS: You may reuse parts of this distribution only within the terms of
?RCS: that same Artistic License; a copy of which may be found at the root
?RCS: of the source tree for dist 4.0.
?RCS:
?RCS: $Log: Extractall.U,v $
?RCS: Revision 3.0.1.1  1997/02/28  15:00:43  ram
?RCS: patch61: created
?RCS:
?X:
?X: If extraction has been requested, load the configuration file, perform
?X: the extraction and exit.
?X:
?X: This unit was originally a part of Options.U. It had to be removed from
?X: it to prevent a dependency cycle: Extract -> src -> Options -> Extract
?X: The Begin.U unit now requires us before beginning to do anything
?X: interesting, to ensure proper semantics. -- RAM, 15/03/96
?X:
?MAKE:Extractall: Extract Options
?MAKE:	-pick wipe $@ %<
: extract files and exit if asked to do so
case "$extractsh" in
true)
?X: Undo the forced silent=true when -S was supplied, by probing realsilent
?X: which was set iff -s was also given. See Options.U for details.
	case "$realsilent" in
	true) ;;
	*) exec 1>&4;;
	esac
	case "$config_sh" in
	'') config_sh='config.sh';;
	esac
	echo " "
	echo "Fetching answers from $config_sh..."
	cd ..
	. $config_sh
	test "$override" && . ./optdef.sh
	echo " "
?X: extract has to be run from the top directory, not within UU.
	. UU/extract
	rm -rf UU
	echo "Extraction done."
	exit 0
	;;
esac

