README.GDBTK is a gdbtk file
authorStan Shebs <shebs@codesourcery.com>
Sun, 16 Apr 1995 13:39:57 +0000 (13:39 +0000)
committerStan Shebs <shebs@codesourcery.com>
Sun, 16 Apr 1995 13:39:57 +0000 (13:39 +0000)
gdb/.Sanitize

index 4d7346c0cde28a2ea5ada3245942509e932b909e..0d0822cfe6207425d4751847b365d1a64569046b 100644 (file)
@@ -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}"