# called. Directories not listed will be removed in their entirety
# with rm -rf.
-# ??? It is debatable whether cfg-*.in belongs in Things-to-keep or
-# keep_these_too. If someone feels strongly about it, please move them.
-
Things-to-keep:
COPYING
Makefile.in
README
config
-cfg-ml-com.in
-cfg-ml-pos.in
+config-ml.in
config.guess
config.sub
configure
configure.in
etc
+symlink-tree
Things-to-lose:
echo Processing \"arc\"...
fi
-arc_files="config.sub configure.in cfg-ml-com.in"
+arc_files="config.sub configure.in config-ml.in"
if ( echo $* | grep keep\-arc > /dev/null ) ; then
for i in $arc_files ; do
echo Processing \"jaguar\"...
fi
-jaguar_files="config.sub configure.in cfg-ml-com.in"
+jaguar_files="config.sub configure.in config-ml.in"
if ( echo $* | grep keep\-jaguar > /dev/null ) ; then
for i in $jaguar_files ; do
done
fi
-sh3e_files="ChangeLog cfg-ml-com.in"
+sh3e_files="ChangeLog config-ml.in"
if ( echo $* | grep keep\-sh3e > /dev/null ) ; then
for i in $sh3e_files ; do
if test ! -d $i && (grep sanitize-sh3e $i > /dev/null) ; then