diff options
| -rw-r--r-- | gas/config/.Sanitize | 10 | ||||
| -rw-r--r-- | gas/doc/.Sanitize | 8 |
2 files changed, 3 insertions, 15 deletions
diff --git a/gas/config/.Sanitize b/gas/config/.Sanitize index 8ecf818..4b73003 100644 --- 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 0ffaa20..49d14f0 100644 --- 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 |