diff configure.in @ 45878:106dd458d71d

At start of Info file, mention the Info `h' command.
author Richard M. Stallman <rms@gnu.org>
date Mon, 17 Jun 2002 16:27:17 +0000
parents 16708fb2d951
children 512f33c6eec6
line wrap: on
line diff