From: Mark Wooding <mdw@distorted.org.uk>
Date: Wed, 19 Aug 2015 17:32:30 +0000 (+0100)
Subject: syntax.dtx: Allow `grammar' labels to have suffixed decoration.
X-Git-Tag: 1.8.0~8
X-Git-Url: https://git.distorted.org.uk/~mdw/mdwtools/commitdiff_plain/f5e7b9eca6cc346376b5a53696863aad47ea5af5

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

diff --git a/syntax.dtx b/syntax.dtx
index c6f04db..1b1965f 100644
--- a/syntax.dtx
+++ b/syntax.dtx
@@ -1358,8 +1358,8 @@
 % commands.  Well, almost \dots
 %
 %    \begin{macrocode}
-\newcommand{\grammarlabel}[2]{%
-  \synt{#1} \hfill#2%
+\newcommand{\grammarlabel}[3][]{%
+  \synt{#2}#1 \hfill#3%
 }
 %    \end{macrocode}
 %
@@ -1372,8 +1372,8 @@
 % 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%