There appears to be a problem with this change.. notably, a "make install" in usr.bin/make no longer installs the man page.. - Bill