yes but nobody cares that it is, because those generated makefiles or ninja files are not user-serviceable, so it might be worth adding a remark to the article (which was very thorough I should emphasise, just that it was missing the reasoning here)
also you might want to consider using
make --directory build/
which of course leaves the user in the original place, and as such is a bit more ergonomic