diff --git a/chapter06/gmp.xml b/chapter06/gmp.xml
index 9548baf5e..ff764b36f 100644
--- a/chapter06/gmp.xml
+++ b/chapter06/gmp.xml
@@ -60,14 +60,16 @@
  
     <para>Install the package:</para>
 
-<screen><userinput remap="install">make install
-install -v -m755 -d /usr/share/doc/gmp-4.2.2
-install -v -m644    doc/{isa_abi_headache,configuration} doc/*.html \
-                    /usr/share/doc/gmp-4.2.2</userinput></screen>
+<screen><userinput remap="install">make install</userinput></screen>
+
+    <para>If desired, install the documentation:</para>
+
+<screen><userinput remap="install">mkdir -v /usr/share/doc/gmp-&gmp-version;
+cp    -v doc/{isa_abi_headache,configuration} doc/*.html \
+         /usr/share/doc/gmp-&gmp-version;</userinput></screen>
 
   </sect2>
 
-
   <sect2 id="contents-gmp" role="content">
     <title>Contents of GMP</title>