diff options
| -rw-r--r-- | Doc/tools/sgmlconv/conversion.xml | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/Doc/tools/sgmlconv/conversion.xml b/Doc/tools/sgmlconv/conversion.xml index 9a747e8..e682cb5 100644 --- 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/> |