changeset 14136:b3133af9666d

- corrected <device< to <device> - option is extralibdir, not extralib
author wight
date Wed, 08 Dec 2004 12:47:57 +0000
parents 234295985ccd
children b38aab8dd464
files DOCS/xml/en/ports.xml
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/DOCS/xml/en/ports.xml	Wed Dec 08 09:52:55 2004 +0000
+++ b/DOCS/xml/en/ports.xml	Wed Dec 08 12:47:57 2004 +0000
@@ -318,7 +318,7 @@
 </para>
 
 <screen>
-# ln -s /dev/rdsk/c<replaceable>&lt;SCSI bus instance&gt;</replaceable>t<replaceable>&lt;SCSI target ID&gt;</replaceable>d<replaceable>&lt;LUN&gt;</replaceable> /dev/<replaceable>&lt;device&lt;</replaceable>
+# ln -s /dev/rdsk/c<replaceable>&lt;SCSI bus instance&gt;</replaceable>t<replaceable>&lt;SCSI target ID&gt;</replaceable>d<replaceable>&lt;LUN&gt;</replaceable> /dev/<replaceable>&lt;device&gt;</replaceable>
 </screen>
 
 <para>
@@ -359,7 +359,7 @@
 </para>
 
 <para>
-Solution: Use the extralib option of configure
+Solution: Use the extralibdir option of configure
 <option>--with-extralibdir="/usr/lib -lrt"</option>
 </para>
 </listitem>