CVSROOT: /usr/cvs Changes by: wagner at birch. 09/06/26 19:50:13 Modified files: cm3/scripts/: make-dist.sh Log message: Try to prune archives a bit more, apply style sheets in HTML, and fix typo.