diff INSTALL @ 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 7851f4551208
children 3f2ab6f2bb5c
line wrap: on
line diff