A lot of files are missing from the release tarball (see #6753), so it would probably be easier and more consistnet to just replace it with a simple call to git archive than to enumerate every single file and add it to the dist target in the Makefile.