Skip to content

Commit d1255d3

Browse files
committed
[cpp.include] Promote footnote to note
This commit promotes a footnote to a note, following the style of the equivalent paragraph introduced with the `embed` wording.
1 parent fb206cd commit d1255d3

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

source/preprocessor.tex

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -752,13 +752,13 @@
752752
If the directive resulting after all replacements does not match
753753
one of the two previous forms, the behavior is
754754
undefined.
755-
\begin{footnote}
756-
Note that adjacent \grammarterm{string-literal}s are not concatenated into
755+
\begin{note}
756+
Adjacent \grammarterm{string-literal}s are not concatenated into
757757
a single \grammarterm{string-literal}
758758
(see the translation phases in~\ref{lex.phases});
759759
thus, an expansion that results in two \grammarterm{string-literal}s is an
760760
invalid directive.
761-
\end{footnote}
761+
\end{note}
762762
The method by which a sequence of preprocessing tokens between a
763763
\tcode{<}
764764
and a

0 commit comments

Comments
 (0)