Ignore:
Timestamp:
Apr 16, 2011, 9:33:52 PM (13 years ago)
Author:
Joe Ciccone <jciccone@…>
Children:
2643b9b4
Parents:
7b0cc7e8 (diff), af891d2 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge branch 'master' into simp

File:
1 edited

Legend:

Unmodified
Added
Removed

  • BOOK/final-system/common/ppl.xml

    r7b0cc7e8 raf43a09  
    2626  <sect2 role="installation">
    2727    <title>Installation of PPL</title>
    28 
    29     <para os="s1">The following fixes an issue when detecting newer versions
    30     of GMP.</para>
    31 
    32 <screen os="s2"><userinput>sed -i "s/__GMP_BITS_PER_MP_LIMB/GMP_LIMB_BITS/g" configure</userinput></screen>
    3328
    3429    <para os="a">Prepare PPL for compilation:</para>
Note: See TracChangeset for help on using the changeset viewer.