diff --git a/doc/mpir.texi b/doc/mpir.texi
index a9fd20d2..993ba086 100644
--- a/doc/mpir.texi
+++ b/doc/mpir.texi
@@ -559,12 +559,22 @@ And you can install (under @file{/usr/local} by default) with
 make install
 @end example
 
-Important note: by default MPIR produces libraries named libmpir, etc., and the header file mpir.h. If you wish to have MPIR to install as a library named libgmp as well, etc., and a gmp.h header file, so that you can use mpir with programs designed to only work with GMP, then use the @samp{--enable-gmpcompat} option when invoking configure:
+Important note: by default MPIR produces libraries named libmpir, etc., and the header file 
+mpir.h. If you wish to have MPIR to build a library named libgmp as well, etc., and a 
+gmp.h header file, so that you can use mpir with programs designed to only work with GMP, 
+then use the @samp{--enable-gmpcompat} option when invoking configure:
 
 @example
 ./configure --enable-gmpcompat
 @end example
 
+If you wish to install the GMP compatible libraries you must explicitly indicate this:
+
+@example
+make install
+make install-gmpcompat
+@end example
+
 If you experience problems, please report them to @uref{http://groups.google.com/group/mpir-devel}.
 See @ref{Reporting Bugs}, for information on what to include in useful bug
 reports.