Fix a couple of files not being put into distributions. make dist now appears to create a fully functional distribution.

Original commit message from CVS:
Fix a couple of files not being put into distributions.
make dist now appears to create a fully functional distribution.
make rpm should now produce an rpm.  Whether that rpm is any good is
another matter...