737a435e3a
a "distribution" build with MKGCCCMDS=no and any of MKCATPAGES, MKMAN, and MKINFO set to yes can still succeed. Tested with two distribution builds of i386; one with MKGCCCMDS=no and one without.