README.GDBTK is a gdbtk file

diff --git a/gdb/.Sanitize b/gdb/.Sanitize
index 4d7346c..0d0822c 100644 (file)
--- a/gdb/.Sanitize
+++ b/gdb/.Sanitize
@@ -31,7 +31,7 @@ fi
 
 # mswin gdb is not really gdbtk, but is close enough for now.
 
-gdbtk_files="gdbtk.c gdbtk.tcl mswin"
+gdbtk_files="README.GDBTK gdbtk.c gdbtk.tcl mswin"
 
 if ( echo $* | grep lose\-gdbtk > /dev/null ) ; then
        lose_these_too="${gdbtk_files} ${lose_these_too}"