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

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>
 
@@ -77 +83 @@
     <segmentedlist>
       <segtitle>Installed libraries</segtitle>
+      <segtitle>Installed directory</segtitle>
 
       <seglistitem>
-        <seg>libgmp.[a,so], libgmpxx.[a,so], libmp.[a,so]</seg>
+        <seg>libgmp.[a,so], libgmpxx.[a,so]</seg>
+        <seg>/usr/share/doc/gmp-&gmp-version;</seg>
       </seglistitem>
     </segmentedlist>
@@ -108 +116 @@
       </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>