* make-dist (msdos): No more mainmake.
authorGlenn Morris <rgm@gnu.org>
Tue, 11 May 2010 03:10:36 +0000 (20:10 -0700)
committerGlenn Morris <rgm@gnu.org>
Tue, 11 May 2010 03:10:36 +0000 (20:10 -0700)
commitedf77e4e3bd4986ef1e83c711e89365bd73dc15e
tree0e11831389fb6de382a21a849df3107c0b5ef8e6
parent1495e2fc0f493bf20d7b44740b8b99ea8e3e9223
* make-dist (msdos): No more mainmake.
ChangeLog
make-dist