diff configure1.in @ 7753:198dd616a588

(Info-directory-list): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Mon, 30 May 1994 11:47:07 +0000
parents 4c80934ca1b2
children 1f3e23273349
line wrap: on
line diff