fix v850 sanitization

diff --git a/gas/doc/.Sanitize b/gas/doc/.Sanitize
index 2d3a446..56ce962 100644 (file)
--- a/gas/doc/.Sanitize
+++ b/gas/doc/.Sanitize
@@ -129,6 +129,7 @@ if ( echo $* | grep keep\-v850e > /dev/null ) ; then
                        mv new $i
                fi
        done
+  fi
 fi
 
 # Don't try to clean directories here, as the 'mv' command will fail.