Ignore:
Timestamp:
Feb 21, 2006, 1:25:05 AM (18 years ago)
Author:
Jim Gifford <clfs@…>
Children:
c4ae235
Parents:
193b7dd
Message:

r783@server (orig r781): jim | 2005-11-30 22:29:11 -0800

r840@server: jim | 2005-11-30 22:28:43 -0800
Text updates to temp-tools


File:
1 edited

Legend:

Unmodified
Added
Removed

  • temp-tools/common/dejagnu.xml

    r193b7dd re7732d7  
    3535    <title>Installation of DejaGNU</title>
    3636
    37     <para>Prepare DejaGNU for compilation:</para>
     37    <para os="a">Prepare DejaGNU for compilation:</para>
    3838
    39 <screen><userinput>./configure --prefix=/tools</userinput></screen>
     39<screen os="b"><userinput>./configure --prefix=/tools</userinput></screen>
    4040
    41     <para>Build and install the package:</para>
     41    <para os="c">Build and install the package:</para>
    4242
    43 <screen><userinput>make install</userinput></screen>
     43<screen os="d"><userinput>make install</userinput></screen>
    4444
    4545  </sect2>
Note: See TracChangeset for help on using the changeset viewer.