# HG changeset patch
# User David Kastrup <dak@gnu.org>
# Date 1041864912 0
# Node ID 0c6ae1df6eb63ab8fc1792fa76903cdaebf9f71d
# Parent  ee57691e3993016730f2067e021ce802a99313df
(INSTALL_INFO): Get install-info command from
configure.

diff -r ee57691e3993 -r 0c6ae1df6eb6 Makefile.in
--- a/Makefile.in	Mon Jan 06 14:54:51 2003 +0000
+++ b/Makefile.in	Mon Jan 06 14:55:12 2003 +0000
@@ -202,7 +202,7 @@
 INSTALL = @INSTALL@
 INSTALL_PROGRAM = @INSTALL_PROGRAM@
 INSTALL_DATA = @INSTALL_DATA@
-INSTALL_INFO = install-info
+INSTALL_INFO = @INSTALL_INFO@
 # By default, we uphold the dignity of our programs.
 INSTALL_STRIP =