Admin/reallymakeall
2000-08-04 wenzelm 2000-08-04 invoke isatool make in any dir containing an IsaMakefile;