diff --git a/ChangeLog b/ChangeLog
index 9d13c4e2841421876f12963f20255dbf3e527a1d..903c5b6d913845c56d102614a88c5927a15008af 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2003-05-06  Eric Botcazou  <ebotcazou@libertysurf.fr>
+
+	* config-ml.in: Propagate INSTALL variables.
+	
 2003-05-04  Gerald Pfeifer  <pfeifer@dbai.tuwien.ac.at>
 
 	* MAINTAINERS: Remove duplicate entries in Write After Approval.
diff --git a/config-ml.in b/config-ml.in
index e227500c4a048e3b9bcd21578951bf21f85ddf5b..b6b61edbeaf1eceeee9880af9b058ec3e9abf30d 100644
--- a/config-ml.in
+++ b/config-ml.in
@@ -529,6 +529,10 @@ multi-do:
 				LIBCXXFLAGS="$(LIBCXXFLAGS) $${flags}" \
 				LDFLAGS="$(LDFLAGS) $${flags}" \
 				DESTDIR="$(DESTDIR)" \
+				INSTALL="$(INSTALL)" \
+				INSTALL_DATA="$(INSTALL_DATA)" \
+				INSTALL_PROGRAM="$(INSTALL_PROGRAM)" \
+				INSTALL_SCRIPT="$(INSTALL_SCRIPT)" \
 				$(DO)); then \
 		  true; \
 		else \