log make-dist @ 110951:85fe6b298326

age author description
Tue, 12 Oct 2010 01:01:11 -0700 Glenn Morris * make-dist: Remove the unnecessary $shortversion.
Tue, 12 Oct 2010 00:46:57 -0700 Glenn Morris * make-dist: Remove comment that no longer applies.
Tue, 12 Oct 2010 00:44:12 -0700 Glenn Morris * make-dist: Simplify trap handling.