Peter Seibel <peter at gigamonkeys.com> writes: > Is that a tarball of the whole tree or a distribution made with > mkdist.sh? Yes, it was created with mkdist, but the tarball is now obsolete anyway. Helmut.