diff configure @ 96038:4704868d2233

(configure, index.texi, vol1.*, vol2.*): Remove.
author Glenn Morris <rgm@gnu.org>
date Tue, 17 Jun 2008 05:59:50 +0000
parents 0f9033e19d18
children ac3d7f9c33d5
line wrap: on
line diff