comparison make-dist @ 98525:b6395ec3de45

formatting fixes for new printed edition
author Karl Berry <karl@gnu.org>
date Sun, 05 Oct 2008 00:14:59 +0000
parents 9419b837e9c6
children 38e7317321ea
comparison
equal deleted inserted replaced
98524:622e1277bbf2 98525:b6395ec3de45