Re: mig and debian/

[Roland McGrath]

> should debian/ be in mig-1.2.tar.gz?  It isn't right now, and it is fine not
> to include it, it will make a nice content for the debian diff.  We should
> then have debian/ChangeLog, though, so it isn't so confusing.
> 
> Or we put debian into the distribution, which is also nice.

I am inclined to include it, because it is part of our source tree.
There is no good reason not to include the entire source tree in the dist.

> Same applies to hurd and gnumach, I think.

We should be consistent between the three.