Skip to content

Commit 70eb040

Browse files
jensmaurertkoeppe
authored andcommitted
[basic.start.main] Avoid implementation guidance in a note
1 parent c193550 commit 70eb040

File tree

1 file changed

+3
-5
lines changed

1 file changed

+3
-5
lines changed

source/basic.tex

Lines changed: 3 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -6346,11 +6346,9 @@
63466346
the initial character of a \ntmbs{} that represents the name used to
63476347
invoke the program or \tcode{""}. The value of \tcode{argc} shall be
63486348
non-negative. The value of \tcode{argv[argc]} shall be 0.
6349-
\begin{note}
6350-
It
6351-
is recommended that any further (optional) parameters be added after
6352-
\tcode{argv}.
6353-
\end{note}
6349+
6350+
\recommended
6351+
Any further (optional) parameters should be added after \tcode{argv}.
63546352

63556353
\pnum
63566354
The function \tcode{main} shall not be used within

0 commit comments

Comments
 (0)