diff config.bat @ 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 4c2b38ea02fe
children b918e6330d6e
line wrap: on
line diff