diff Makefile.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 eed3a1470e83
children 79e11bd92691
line wrap: on
line diff