diff lispintro/configure.in @ 78004:919d04a3deda

update two-volume material for printing
author Karl Berry <karl@gnu.org>
date Wed, 13 Jun 2007 00:45:03 +0000
parents 695cf19ef79e
children 375f2633d815
line wrap: on
line diff