cc5766a3d9
not "make world", as the first step of building the release. While here, remove another mention of "make world", as the latter is no longer supported by src/Makefile.