config
config.in
configure
+configure.host
configure.in
+configure.tgt
convex-tdep.c
convex-xdep.c
copying.awk
done
fi
-arc_files="configure.in configure ChangeLog-95"
+arc_files="configure.tgt ChangeLog-95"
if ( echo $* | grep keep\-arc > /dev/null ) ; then
for i in $arc_files ; do
done
fi
-d10v_files="configure.in configure ChangeLog"
+d10v_files="configure.tgt ChangeLog"
if ( echo $* | grep keep\-d10v > /dev/null ) ; then
for i in $d10v_files ; do