fix d30v sanitization
authorIan Lance Taylor <ian@airs.com>
Thu, 18 Dec 1997 08:52:31 +0000 (08:52 +0000)
committerIan Lance Taylor <ian@airs.com>
Thu, 18 Dec 1997 08:52:31 +0000 (08:52 +0000)
gas/doc/.Sanitize

index 032dd6547c8f07b23407d5c4912992f58dcc67e6..fd5744cd7e1422f1d99492856b8cbb582db2b4bb 100644 (file)
@@ -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