CVSROOT: /usr/cvs Changes by: wagner at birch. 09/07/03 19:53:06 Modified files: cm3/scripts/: make-dist.sh Log message: add man pages of section 7, too