Ismael, > A simple way to deal with the problem is to make an extra commit > (outside the main branch) per release to hold these files and tag it > as the release, that makes it trivial for websites like github to make > proper release tarballs.
ah. thanks! cheers, Greg
