ChorusOS 4.0 Production Guide

make mkmk

By using the make mkmk command, the Makefiles can be built or rebuilt.