// file: MakeSmallExtraCedarDb.cm
// edit by Sturgis: 13-Sep-83 10:29:23

makeDlionMicroboot extracedario.db ← fakeKernel.fb cedario.fb ExtraBanksOverlay.bin
makeDlionMicroboot cedar1.db ← cedar1.fb smalldomino.bin

makedlionmicroboot smallExtraCedar.db ← extracedario.db cedar1.db