diff configure.in @ 73205:eebe063ee090

better not use @LaTeX{}, I guess.
author Karl Berry <karl@gnu.org>
date Sun, 01 Oct 2006 22:52:07 +0000
parents 59f4b806d577
children e9c680a7e7cc 2d56e13fd23d bb0e318b7c53
line wrap: on
line diff