diff configure.in @ 22456:b7bf9b05f494

(INSTALL_INFO): New variable. (install): Run install-info.
author Richard M. Stallman <rms@gnu.org>
date Sat, 13 Jun 1998 01:29:43 +0000
parents 1982fb4daa3f
children 1b3491492aae
line wrap: on
line diff