Re: [OS-BUILD PATCH 0/0] Miscellaneous updates for Makefiles and related documentation