Changes in BOOK/final-system/common/gmp.xml [c873165:686839b]

File:

• BOOK/final-system/common/gmp.xml (modified) (3 diffs)

BOOK/final-system/common/gmp.xml

@@ -70 +70 @@
 <screen os="i"><userinput>make install</userinput></screen>
 
-    <para os="j">Install the documentation:</para>
-
-<screen os="k"><userinput>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>
 
@@ -83 +77 @@
     <segmentedlist>
       <segtitle>Installed libraries</segtitle>
-      <segtitle>Installed directory</segtitle>
 
       <seglistitem>
-        <seg>libgmp.[a,so], libgmpxx.[a,so]</seg>
-        <seg>/usr/share/doc/gmp-&gmp-version;</seg>
+        <seg>libgmp.[a,so], libgmpxx.[a,so], libmp.[a,so]</seg>
       </seglistitem>
     </segmentedlist>
@@ -116 +108 @@
       </varlistentry>
 
+      <varlistentry id="libmp">
+        <term><filename class="libraryfile">libmp</filename></term>
+        <listitem>
+          <para>Contains the Berkeley MP compatibility library.</para>
+          <indexterm zone="ch-system-gmp libmp">
+            <primary sortas="c-libmp">libmp</primary>
+          </indexterm>
+        </listitem>
+      </varlistentry>
+
     </variablelist>