# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 738360053 0
# Node ID 7b418622d32be9dbc164334e1081a9b00c1f0bbd
# Parent  02bed2af9f9b156fb3d925959483329714dcc29e
(INSTALL): Add definition.

diff -r 02bed2af9f9b -r 7b418622d32b Makefile.in
--- a/Makefile.in	Tue May 25 19:05:13 1993 +0000
+++ b/Makefile.in	Tue May 25 20:00:53 1993 +0000
@@ -182,6 +182,7 @@
 # ==================== Utility Programs for the Build ====================
 
 # Allow the user to specify the install program.
+INSTALL = @INSTALL@
 INSTALL_PROGRAM = @INSTALL_PROGRAM@
 INSTALL_DATA = @INSTALL_DATA@