+ sed '/start\-sanitize\-jaguar/,/end-\sanitize\-jaguar/d' < $i > new
+ if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
+ if [ -n "${verbose}" ] ; then
+ echo Caching $i in .Recover...
+ fi
+ mv $i .Recover
+ fi
+ mv new $i
+ fi
+ done
+fi
+
+psion_files="config.sub configure.in"
+
+if ( echo $* | grep keep\-psion > /dev/null ) ; then
+ for i in $psion_files; do
+ if test ! -d $i && (grep sanitize-psion $i > /dev/null) ; then
+ if [ -n "${verbose}" ] ; then
+ echo Keeping psion stuff in $i
+ fi
+ fi
+ done
+else
+ for i in * ; do
+ if test ! -d $i && (grep sanitize-psion $i > /dev/null) ; then
+ if [ -n "${verbose}" ] ; then
+ echo Removing traces of \"psion\" from $i...
+ fi
+ cp $i new
+ sed '/start\-sanitize\-psion/,/end-\sanitize\-psion/d' < $i > new
+ if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
+ if [ -n "${verbose}" ] ; then
+ echo Caching $i in .Recover...
+ fi
+ mv $i .Recover
+ fi
+ mv new $i
+ fi
+ done
+fi
+
+rce_files="config.sub"
+
+if ( echo $* | grep keep\-rce > /dev/null ) ; then
+ for i in $rce_files ; do
+ if test ! -d $i && (grep sanitize-rce $i > /dev/null) ; then
+ if [ -n "${verbose}" ] ; then
+ echo Keeping rce stuff in $i
+ fi
+ fi
+ done
+else
+ for i in $rce_files ; do
+ if test ! -d $i && (grep sanitize-rce $i > /dev/null) ; then
+ if [ -n "${verbose}" ] ; then
+ echo Removing traces of \"rce\" from $i...
+ fi
+ cp $i new
+ sed '/start\-sanitize\-rce/,/end-\sanitize\-rce/d' < $i > new
+ if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
+ if [ -n "${verbose}" ] ; then
+ echo Caching $i in .Recover...
+ fi
+ mv $i .Recover
+ fi
+ mv new $i
+ fi
+ done
+fi
+
+sh3e_files="ChangeLog config-ml.in"
+if ( echo $* | grep keep\-sh3e > /dev/null ) ; then
+ for i in $sh3e_files ; do
+ if test ! -d $i && (grep sanitize-sh3e $i > /dev/null) ; then
+ if [ -n "${verbose}" ] ; then
+ echo Keeping sh3e stuff in $i
+ fi
+ fi
+ done
+else
+ for i in $sh3e_files ; do
+ if test ! -d $i && (grep sanitize-sh3e $i > /dev/null) ; then
+ if [ -n "${verbose}" ] ; then
+ echo Removing traces of \"sh3e\" from $i...
+ fi
+ cp $i new
+ sed '/start\-sanitize\-sh3e/,/end-\sanitize\-sh3e/d' < $i > new