
# mcon/man/mconfig.SH" was split into 2 parts; to create it, do
	cat mcon/man/mconfig.SH.0[1-9] >mcon/man/mconfig.SH
	chmod +x mcon/man/mconfig.SH
