fix v850 sanitization

diff --git a/gas/doc/.Sanitize b/gas/doc/.Sanitize
index 2d3a4466a64041d80c4cc3ab6c001ee144b0584a..56ce9627d9f238998bc0c9bfdb0f1e7d9298e305 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.