remove d10v sanitization

diff --git a/gas/config/.Sanitize b/gas/config/.Sanitize
index 8ecf818b9408e860212df047f80127822ccbd6cd..4b7300311b268549b88e39ce6ac2511ec8dd7ddc 100644 (file)
--- a/gas/config/.Sanitize
+++ b/gas/config/.Sanitize
@@ -23,14 +23,6 @@ else
        lose_these_too="${arc_files} ${lose_these_too}"
 fi
 
-d10v_files="tc-d10v.c tc-d10v.h"
-
-if ( echo $* | grep keep\-d10v > /dev/null ) ; then
-       keep_these_too="${d10v_files} ${keep_these_too}"
-else
-       lose_these_too="${d10v_files} ${lose_these_too}"
-fi
-
 d30v_files="tc-d30v.c tc-d30v.h"
 
 if ( echo $* | grep keep\-d30v > /dev/null ) ; then
@@ -117,6 +109,8 @@ tc-alpha.c
 tc-alpha.h
 tc-arm.c
 tc-arm.h
+tc-d10v.c
+tc-d10v.h
 tc-generic.c
 tc-generic.h
 tc-h8300.c

diff --git a/gas/doc/.Sanitize b/gas/doc/.Sanitize
index 0ffaa209c50fe772b515f8a5fe766ee8fcd0b033..49d14f06138e58fc5d58215509a868ac6c516518 100644 (file)
--- a/gas/doc/.Sanitize
+++ b/gas/doc/.Sanitize
@@ -16,13 +16,6 @@
 
 Do-first:
 
-d10v_files="c-d10v.texi"
-if ( echo $* | grep keep\-d10v > /dev/null ) ; then
-        keep_these_too="${d10v_files} ${keep_these_too}"
-else
-        lose_these_too="${d10v_files} ${lose_these_too}"
-fi 
-
 # All files listed between the "Things-to-keep:" line and the
 # "Files-to-sed:" line will be kept.  All other files will be removed.
 # Directories listed in this section will have their own Sanitize
@@ -36,6 +29,7 @@ all.texi
 as.1
 as.texinfo
 c-a29k.texi
+c-d10v.texi
 c-h8300.texi
 c-h8500.texi
 c-hppa.texi