comparison make-dist @ 55626:1c7ccc3495fe

@ifnottex, not @ifinfo
author Karl Berry <karl@gnu.org>
date Sun, 16 May 2004 22:22:52 +0000
parents 400d9bd54631
children b5f2181a40b9
comparison
equal deleted inserted replaced
55625:d1f4ffb8ca41 55626:1c7ccc3495fe