From 588405286c18cd69f3470a3db19c8ddff7d77310 Mon Sep 17 00:00:00 2001
From: Stan Shebs <shebs@codesourcery.com>
Date: Thu, 25 May 1995 01:30:34 +0000
Subject: [PATCH] Update gdbtk keep/lose to match main GDB sanitize

---
 gdb/doc/.Sanitize | 37 ++++++++++++++++++++++---------------
 1 file changed, 22 insertions(+), 15 deletions(-)

diff --git a/gdb/doc/.Sanitize b/gdb/doc/.Sanitize
index 3f476e1eca..9987b29bd6 100644
--- a/gdb/doc/.Sanitize
+++ b/gdb/doc/.Sanitize
@@ -20,16 +20,16 @@ Do-first:
 
 gdbtk_files="gdbgui.texinfo"
 
-if ( echo $* | grep keep\-gdbtk > /dev/null ) ; then
-	keep_these_too="${gdbtk_files} ${keep_these_too}"
-	if [ -n "${verbose}" ] ; then
-		echo Keeping ${gdbtk_files}
-	fi
-else
+if ( echo $* | grep lose\-gdbtk > /dev/null ) ; then
 	lose_these_too="${gdbtk_files} ${lose_these_too}"
 	if [ -n "${verbose}" ] ; then
 		echo Deleting ${gdbtk_files}
 	fi
+else
+	keep_these_too="${gdbtk_files} ${keep_these_too}"
+	if [ -n "${verbose}" ] ; then
+		echo Keeping ${gdbtk_files}
+	fi
 fi
 
 # All files listed between the "Things-to-keep:" line and the
@@ -71,17 +71,10 @@ snapshots.readme
 
 Do-last:
 
-echo Catering to RMS by removing traces of \"gdbtk\"...
-
 # Don't try to clean directories here, as the 'mv' command will fail.
 # Also, grep fails on NFS mounted directories.
-if ( echo $* | grep keep\-gdbtk > /dev/null ) ; then
-	for i in * ; do
-		if test ! -d $i && (grep sanitize-gdbtk $i > /dev/null) ; then
-			echo Keeping gdbtk stuff in $i
-		fi
-	done
-else
+if ( echo $* | grep lose\-gdbtk > /dev/null ) ; then
+	echo Catering to RMS by removing traces of \"gdbtk\"...
 	for i in * ; do
 		if test ! -d $i && (grep sanitize-gdbtk $i > /dev/null) ; then
 			echo Removing traces of \"gdbtk\" out of $i...
@@ -94,6 +87,20 @@ else
 			mv new $i
 		fi
 	done
+else
+	echo Leaving \"gdbtk\" in the sources...
+	for i in * ; do
+		if test ! -d $i && (grep sanitize-gdbtk $i > /dev/null) ; then
+			echo Keeping \"gdbtk\" stuff in $i, but editing out sanitize lines...
+			cp $i new
+			sed -e '/start\-sanitize\-gdbtk/d' -e '/end\-sanitize\-gdbtk/d' < $i > new
+			if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
+				echo Caching $i in .Recover...
+				mv $i .Recover
+			fi
+			mv new $i
+		fi
+	done
 fi
 
 # End of file.