diff configure.in @ 83919:8b35bdec6c3b

Move to ../doc/lispintro
author Glenn Morris <rgm@gnu.org>
date Thu, 06 Sep 2007 03:56:58 +0000
parents 320390e152c5
children 6c9d7b3b34e8
line wrap: on
line diff