diff --git a/INSTALL b/INSTALL
index ec19e49b260..925c8b2de71 100644
--- a/INSTALL
+++ b/INSTALL
@@ -656,7 +656,7 @@ Here is a complete list of the variables you may want to set.
 	path variables - `bindir' and `libexecdir'.
 
 The above variables serve analogous purposes in the makefiles for all
-GNU software; the following variable is specific to Emacs.
+GNU software; the following variables are specific to Emacs.
 
 `archlibdir' indicates where Emacs installs and expects the executable
 	files and other architecture-dependent data it uses while
@@ -664,6 +664,10 @@ GNU software; the following variable is specific to Emacs.
 	see), is `/usr/local/libexec/emacs/VERSION/CONFIGURATION-NAME'
 	(where VERSION and CONFIGURATION-NAME are as described above).
 
+`GZIP_PROG' is the name of the executable that compresses installed info,
+	manual, and .el files.  It defaults to gzip.  Setting it to
+	the empty string suppresses compression.
+
 Remember that you must specify any variable values you need each time
 you run `make' in the top directory.  If you run `make' once to build
 emacs, test it, and then run `make' again to install the files, you