Remove v9 sanitization.

diff --git a/include/nlm/.Sanitize b/include/nlm/.Sanitize
index 6f1d0dfbf302e8a878448339f4ad4fd19f498510..7a8b29cda4b01f41c8cf08e77b29a1a14537470c 100644 (file)
--- a/include/nlm/.Sanitize
+++ b/include/nlm/.Sanitize
@@ -45,33 +45,5 @@ Things-to-lose:
 
 Do-last:
 
-v9dirty="common.h"
-
-if ( echo $* | egrep verbose > /dev/null ) ; then
-       verbose=true
-else
-       verbose=
-fi
-
-if ( echo $* | grep keep\-v9 > /dev/null ) ; then
-       if [ -n "${verbose}" ] ; then
-               echo Keeping v9 in ${v9dirty}
-       fi
-else
-       for i in ${v9dirty} ; do
-               if [ -n "${verbose}" ] ; then
-                       echo Sanitizing v9 in $i
-               fi
-               rm -f new
-               grep -v v9 $i > new
-               if [ -n "${safe}" ] ; then
-                       mv $i .Recover
-               else
-                       rm $i
-               fi
-               mv new $i
-       done
-fi
-
 
 # End of file.