aboutsummaryrefslogtreecommitdiff
path: root/gas
diff options
context:
space:
mode:
authorIan Lance Taylor <ian@airs.com>1997-12-18 08:52:31 +0000
committerIan Lance Taylor <ian@airs.com>1997-12-18 08:52:31 +0000
commitbb3e5a7e113c0d57c0b4a3f0c4118f4db1cdb3b4 (patch)
tree88f3789bfaf89041cc4a0b98fa25f555c9a14515 /gas
parentb463948b73e824f046adb47bd263e2b958736e0f (diff)
downloadgdb-bb3e5a7e113c0d57c0b4a3f0c4118f4db1cdb3b4.zip
gdb-bb3e5a7e113c0d57c0b4a3f0c4118f4db1cdb3b4.tar.gz
gdb-bb3e5a7e113c0d57c0b4a3f0c4118f4db1cdb3b4.tar.bz2
fix d30v sanitization
Diffstat (limited to 'gas')
-rw-r--r--gas/doc/.Sanitize2
1 files changed, 1 insertions, 1 deletions
diff --git a/gas/doc/.Sanitize b/gas/doc/.Sanitize
index 032dd65..fd5744c 100644
--- a/gas/doc/.Sanitize
+++ b/gas/doc/.Sanitize
@@ -90,7 +90,7 @@ else
done
fi
-v850e_files="c-d30v.texi as.texinfo all.texi"
+d30v_files="as.texinfo all.texi"
if ( echo $* | grep keep\-d30v > /dev/null ) ; then
for i in $d30v_files ; do
if test ! -d $i && (grep sanitize-d30v $i > /dev/null) ; then