It appears to have been a leftover of a previous incarnation of the build
system that didn't handle miinitext.c well.