// file: MakeSmallExtraCedarDb.cm
// edit by Sturgis: 16-Sep-83 12:58:05

makeDlionMicroboot cedario.db _ ExtraBanksKernel.fb cedario.fb
makeDlionMicroboot cedar1.db _ cedar1.fb smalldomino.bin

makedlionmicroboot smallCedar.db _ cedario.db cedar1.db