syntax.dtx: Allow `grammar' labels to have suffixed decoration.

diff --git a/syntax.dtx b/syntax.dtx
index c6f04dbde75cb9c565f88ef42d8d916949b0d09a..1b1965f07add47e6844c391c62c9668a2460a4a1 100644 (file)
--- a/syntax.dtx
+++ b/syntax.dtx
@@ -1358,8 +1358,8 @@
 % commands.  Well, almost \dots
 %
 %    \begin{macrocode}
 % commands.  Well, almost \dots
 %
 %    \begin{macrocode}

-\newcommand{\grammarlabel}[2]{%
-  \synt{#1} \hfill#2%
+\newcommand{\grammarlabel}[3][]{%
+  \synt{#2}#1 \hfill#3%

 }
 %    \end{macrocode}
 %
 }
 %    \end{macrocode}
 %


@@ -1372,8 +1372,8 @@
 % strut just makes sure that I know exactly how high the line is.
 %
 %    \begin{macrocode}
 % strut just makes sure that I know exactly how high the line is.
 %
 %    \begin{macrocode}

-\def\gr@implitem<#1> #2 {%
-  \sbox\z@{\hskip\labelsep\grammarlabel{#1}{#2}}%
+\def\gr@implitem<#1>#2 #3 {%
+  \sbox\z@{\hskip\labelsep\grammarlabel[{#2}]{#1}{#3}}%

   \strut\@@par%
   \vskip-\parskip%
   \vskip-\baselineskip%
   \strut\@@par%
   \vskip-\parskip%
   \vskip-\baselineskip%