diff lispintro/configure.in @ 58785:5251b89bd389

(info): Ignore errors building info files.
author Richard M. Stallman <rms@gnu.org>
date Mon, 06 Dec 2004 00:42:41 +0000
parents 695cf19ef79e
children 375f2633d815
line wrap: on
line diff