# Sanitize.in for devo.
# $Id$
#

# Each directory to survive it's way into a release will need a file
# like this one called "./.Sanitize".  All keyword lines must exist,
# and must exist in the order specified by this file.  Each directory
# in the tree will be processed, top down, in the following order.

# Hash started lines like this one are comments and will be deleted
# before anything else is done.  Blank lines will also be squashed
# out.

# The lines between the "Do-first:" line and the "Things-to-keep:"
# line are executed as a /bin/sh shell script before anything else is
# done in this 

Do-first:

# All files listed between the "Things-to-keep:" line and the
# "Files-to-sed:" line will be kept.  All other files will be removed.
# Directories listed in this section will have their own Sanitize
# called.  Directories not listed will be removed in their entirety
# with rm -rf.

Things-to-keep:


ChangeLog
common.h
external.h
internal.h

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.