Changeset e7732d7 for temp-tools/common/texinfo.xml

Timestamp:

Feb 21, 2006, 1:25:05 AM (19 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:

• temp-tools/common/texinfo.xml (modified) (1 diff)

temp-tools/common/texinfo.xml

@@ -27 +27 @@
     xpointer="xpointer(//*[@os='a'])"/>
 
-<screen><userinput>./configure --prefix=/tools</userinput></screen>
-
-    <xi:include xmlns:xi="http://www.w3.org/2003/XInclude"
-    href="../../final-system/common/texinfo.xml"
-    xpointer="xpointer(//*[@os='b'])"/>
+<screen os="b"><userinput>./configure --prefix=/tools</userinput></screen>
 
     <xi:include xmlns:xi="http://www.w3.org/2003/XInclude"
     href="../../final-system/common/texinfo.xml"
     xpointer="xpointer(//*[@os='c'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2003/XInclude"
+    href="../../final-system/common/texinfo.xml"
+    xpointer="xpointer(//*[@os='d'])"/>
 
     <xi:include xmlns:xi="http://www.w3.org/2003/XInclude"