Add support for \textgreater, \textless.

Updated productionlist environment.

diff --git a/Doc/tools/sgmlconv/conversion.xml b/Doc/tools/sgmlconv/conversion.xml
index cf4a4c57819bee30ef25a6aafb2dc5a6bd06cd23..7ca4e52eb6d877a3b6ddabdf395648e7aafa0cdc 100644 (file)
--- a/Doc/tools/sgmlconv/conversion.xml
+++ b/Doc/tools/sgmlconv/conversion.xml
@@ -690,16 +690,15 @@
     <attribute name="token"/>
     <content/>
     </macro>
-  <macro name="token" outputname="grammartoken">
+  <macro name="productioncont">
     <content/>
     </macro>
-  <macro name="grammartoken">
+  <macro name="token" outputname="grammartoken">
     <content/>
     </macro>
-  <macro name="orgroup">
+  <macro name="grammartoken">
     <content/>
     </macro>
-  <macro name="oritem"/>
 
   <!-- Misc. -->
   <macro name="emph">
@@ -876,6 +875,12 @@
   <macro name="textbar" outputname="">
     <text>|</text>
     </macro>
+  <macro name="textgreater" outputname="">
+    <text>&gt;</text>
+    </macro>
+  <macro name="textless" outputname="">
+    <text>&lt;</text>
+    </macro>
 
   <!-- These will end up disappearing as well! -->
   <macro name="catcode" outputname=""/>