(alx-0014r6-G) Refactor syntax of pragma directives

Signed-off-by: Alejandro Colomar <[email protected]>

Author: alejandro-colomar

source/preprocessor.tex

@@ -54,7 +54,7 @@
     undef-directive\br
     line-directive\br
     diagnostic-directive\br
-    \terminal{\# pragma } \opt{pp-tokens} new-line\br
+    pragma-directive\br
     \terminal{\# }new-line
 \end{bnf}
 
@@ -2182,6 +2182,11 @@
 \indextext{preprocessing directive!pragma}%
 \indextext{\idxcode{\#pragma}|see{preprocessing directive, pragma}}
 
+\begin{bnf}
+\nontermdef{pragma-directive}\br
+    \terminal{\# pragma } \opt{pp-tokens} new-line\br
+\end{bnf}
+
 \pnum
 A preprocessing directive of the form
 \begin{ncsimplebnf}