Minor cleanup to make-dist.
tree0756cf128bd1f208d5fa6f0133cabceb53419931
-rw-r--r-- 38 .cvsignore
-rw-r--r-- 391 README
-rw-r--r-- 867 README.cvs
-rw-r--r-- 6 VERSION
drwxr-xr-x - barijaona
drwxr-xr-x - general
-rwxr-xr-x 742 make-dist