// 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