diff options
Diffstat (limited to 'manual/styles')
| -rw-r--r-- | manual/styles/syntaxdef.hva | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/manual/styles/syntaxdef.hva b/manual/styles/syntaxdef.hva index cdac4c9653..877ac0044d 100644 --- a/manual/styles/syntaxdef.hva +++ b/manual/styles/syntaxdef.hva @@ -48,6 +48,8 @@ \stx@silent{definition}% \stx@silent{specification}% \stx@silent{type-equation}% +%%Redefined in names.etex +\stx@silent{label-name}% %%Not really defined in lexyacc.etex \stx@silent{character-set}% \stx@silent{symbol}% |