* things. See ChangeLog.sky for details.
*
* Modified Files:
* .Sanitize ChangeLog.sky Makefile.in sky-libvpe.c sky-vu.c
* sky-vu.h sky-vudis.c sky-vudis.h
* Added Files:
* sky-indebug.c sky-indebug.h sky-interact.c sky-interact.h
* sky-console.c sky-console.h
sky_files="$sky_files sky-hardware.c sky-hardware.h sky-gdb.c"
sky_files="$sky_files sky-libvpe.c sky-libvpe.h sky-pke.c sky-pke.h"
sky_files="$sky_files sky-vpe.h sky-vu.h sky-vu.c sky-vudis.h sky-vudis.c"
+sky_files="$sky_files sky-console.h sky-console.c"
+sky_files="$sky_files sky-interact.h sky-interact.c"
+sky_files="$sky_files sky-indebug.h sky-indebug.c"
if ( echo $* | grep keep\-sky > /dev/null ) ; then
keep_these_too="${sky_files} ${keep_these_too}"
else