Add conversion information for the grammar production support (preliminary).

diff --git a/Doc/tools/sgmlconv/conversion.xml b/Doc/tools/sgmlconv/conversion.xml
index 9a747e816c4d4d95018fbff5c997106e0aeab2d8..e682cb5307e944fe456fb2843becd856ab53b9ca 100644 (file)
--- a/Doc/tools/sgmlconv/conversion.xml
+++ b/Doc/tools/sgmlconv/conversion.xml
@@ -601,6 +601,22 @@
     <content/>
     </macro>
 
+  <!-- Grammar production lists -->
+  <environment name="productionlist">
+    <attribute name="grammar" optional="yes"/>
+    </environment>
+  <macro name="production">
+    <attribute name="token"/>
+    <content/>
+    </macro>
+  <macro name="token">
+    <content/>
+    </macro>
+  <macro name="orgroup">
+    <content/>
+    </macro>
+  <macro name="oritem"/>
+
   <!-- Misc. -->
   <macro name="emph">
     <content/>