if ( test "$1" = "+" ) then
	shift
else
	rm -f _temp_.dob _temp_.dop _temp_.dlb _temp_.d
	touch _temp_.dob _temp_.dop _temp_.dlb _temp_.d
	rm -f _temp_.dh
	echo '/* This file was automatically generated by Ghostscript (gsconfig). */' > _temp_.dh
	echo '/* See gconfig.c for documentation. */' >>_temp_.dh
fi
rm -f _temp_.c
cat <<EOF >_temp_.c
/bin/sh < _temp_.d
rm -f obj.tr gconfig.h lib.tr
sort <_temp_.dob | uniq >obj.tr
sort <_temp_.dop | uniq >>_temp_.dh
mv _temp_.dh gconfig.h
mv _temp_.dlb lib.tr
rm -f _temp_.d*
EOF
for dev in $*
do
	if ( test "${dev}" = "+" ) then
		rm -f _temp_.c
		touch _temp_.c
	else
		cat ${dev} >>_temp_.d
	fi
done
/bin/sh < _temp_.c
rm _temp_.c
