diff --git a/source/preprocessor.tex b/source/preprocessor.tex index e449e8308c..cede64a3c1 100644 --- a/source/preprocessor.tex +++ b/source/preprocessor.tex @@ -302,6 +302,10 @@ At the start of phase 4 of translation, the \grammarterm{group} of a \grammarterm{pp-global-module-fragment} shall contain neither a \grammarterm{text-line} nor a \grammarterm{pp-import}. +\begin{note} +Executing preprocessing directives such as source file inclusion\iref{cpp.include} +during phase 4 of translation can produce \grammarterm{text-line}s. +\end{note} \pnum When in a group that is skipped\iref{cpp.cond}, the directive