[lex.pptoken] added \grammarterm around import-keyword, module-keyword and export-keyword in grammar

OndrejPopp · OndrejPopp · commit ad143b3ac437 · 2025-04-26T13:13:42.000+02:00
diff --git a/source/lex.tex b/source/lex.tex
@@ -499,9 +499,9 @@
 \begin{bnf}
 \nontermdef{preprocessing-token}\br
     header-name\br
-    import-keyword\br
-    module-keyword\br
-    export-keyword\br
+    \grammarterm{import-keyword}\br
+    \grammarterm{module-keyword}\br
+    \grammarterm{export-keyword}\br
     identifier\br
     pp-number\br
     character-literal\br
