[PATCH] Document config.mak in INSTALL.