1 # Sanitize.in for devo.
4 # Each directory to survive it's way into a release will need a file
5 # like this one called "./.Sanitize". All keyword lines must exist,
6 # and must exist in the order specified by this file. Each directory
7 # in the tree will be processed, top down, in the following order.
9 # Hash started lines like this one are comments and will be deleted
10 # before anything else is done. Blank lines will also be squashed
13 # The lines between the "Do-first:" line and the "Things-to-keep:"
14 # line are executed as a /bin/sh shell script before anything else is
19 # All files listed between the "Things-to-keep:" line and the
20 # "Files-to-sed:" line will be kept. All other files will be removed.
21 # Directories listed in this section will have their own Sanitize
22 # called. Directories not listed will be removed in their entirety
56 v850e_files="c-v850.texi"
57 if ( echo $* | grep keep\-v850e > /dev/null ) ; then
58 for i in $v850e_files ; do
59 if test ! -d $i && (grep sanitize-v850e $i > /dev/null) ; then
60 if [ -n "${verbose}" ] ; then
61 echo Keeping v850e stuff in $i
66 for i in $v850e_files ; do
67 if test ! -d $i && (grep sanitize-v850e $i > /dev/null) ; then
68 if [ -n "${verbose}" ] ; then
69 echo Removing traces of \"v850e\" from $i...
72 sed '/start\-sanitize\-v850e/,/end-\sanitize\-v850e/d' < $i > new
73 if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
74 if [ -n "${verbose}" ] ; then
75 echo Caching $i in .Recover...
84 # Don't try to clean directories here, as the 'mv' command will fail.
85 # Also, grep fails on NFS mounted directories.
88 if test ! -d $i && (grep sanitize $i > /dev/null) ; then
89 echo '***' Some mentions of Sanitize are still left in $i! 1>&2