[std] Move punctuation to before the footnote marker.

Also add an automated check.

Author: jensmaurer

source/atomics.tex

@@ -637,12 +637,12 @@
 
 \pnum
 \recommended
-Operations that are lock-free should also be address-free
+Operations that are lock-free should also be address-free.
 \begin{footnote}
 That is,
 atomic operations on the same memory location via two different addresses will
 communicate atomically.
-\end{footnote}.
+\end{footnote}
 The implementation of these operations should not depend on any per-process state.
 \begin{note}
 This restriction enables communication by memory that is

source/basic.tex

@@ -134,7 +134,7 @@
 Appearing inside the brace-enclosed
 \grammarterm{declaration-seq} in a \grammarterm{linkage-specification} does
 not affect whether a declaration is a definition.
-\end{footnote}%
+\end{footnote}
 \iref{dcl.link}
 and neither an \grammarterm{initializer} nor a
 \grammarterm{function-body},
@@ -1616,15 +1616,15 @@
 in a complete-class context\iref{class.mem} of \tcode{X} or
 in the definition of a class member outside of the definition of \tcode{X},
 following the member's
-\grammarterm{declarator-id}
+\grammarterm{declarator-id},
 \begin{footnote}
 That is, an unqualified name that occurs,
 for instance, in a
 type in the
 \grammarterm{parameter-declaration-clause} or in the
 \grammarterm{noexcept-specifier}.
-\end{footnote}%
-, shall be declared in one of the
+\end{footnote}
+shall be declared in one of the
 following ways:
 \begin{itemize}
 \item before its use in the block in which it is used or in an enclosing
@@ -4109,14 +4109,14 @@
 \item
 optionally, a parameter of type \tcode{std::destroying_delete_t}, then
 \item
-optionally, a parameter of type \tcode{std::size_t}
+optionally, a parameter of type \tcode{std::size_t},
 \begin{footnote}
 The global \tcode{operator delete(void*, std::size_t)}
 precludes use of an
 allocation function \tcode{void operator new(std::size_t, std::size_t)} as a placement
 allocation function~(\ref{diff.cpp11.basic}).
-\end{footnote}%
-, then
+\end{footnote}
+then
 \item
 optionally, a parameter of type \tcode{std::align_val_t}.
 \end{itemize}

source/expressions.tex

@@ -6985,11 +6985,11 @@
 of $E$;
 
 \item
-an invocation of a non-constexpr function
+an invocation of a non-constexpr function;
 \begin{footnote}
 Overload resolution\iref{over.match}
 is applied as usual.
-\end{footnote};
+\end{footnote}
 
 \item
 an invocation of an undefined constexpr function;
@@ -7013,13 +7013,13 @@
 
 \item
 an operation that would have undefined behavior
-as specified in \ref{intro} through \ref{cpp}
+as specified in \ref{intro} through \ref{cpp};
 \begin{footnote}
 This includes,
 for example, signed integer overflow\iref{expr.prop}, certain
 pointer arithmetic\iref{expr.add}, division by
 zero\iref{expr.mul}, or certain shift operations\iref{expr.shift}.
-\end{footnote};
+\end{footnote}
 
 \item
 an lvalue-to-rvalue conversion\iref{conv.lval} unless

source/intro.tex

@@ -44,7 +44,7 @@
 the Institute of Electrical and Electronic Engineers, Inc.
 This information is given for the convenience of users of this document and
 does not constitute an endorsement by ISO or IEC of this product.
-\end{footnote}%
+\end{footnote}
 )}
 \item ISO/IEC 10646, \doccite{Information technology ---
 Universal Coded Character Set (UCS)}

source/iostreams.tex

@@ -2664,7 +2664,7 @@
 
 \pnum
 \returns
-\tcode{str}
+\tcode{str}.
 \begin{footnote}
 The function signature
 \tcode{dec(ios_base\&)}
@@ -2675,8 +2675,7 @@
 \tcode{cout << dec}
 to change the format flags stored in
 \tcode{cout}.
-\end{footnote}%
-.
+\end{footnote}
 \end{itemdescr}
 
 \indexlibraryglobal{hex}%
@@ -3668,8 +3667,7 @@
 \begin{itemdecl}
 streamsize showmanyc();@
 \begin{footnote}
-\textrm{The morphemes of \tcode{showmanyc}\
-are ``es-how-many-see'', not ``show-manic''.}
+The morphemes of \tcode{showmanyc} are ``es-how-many-see'', not ``show-manic''.
 \end{footnote}@
 \end{itemdecl}
 

source/strings.tex

@@ -4052,8 +4052,7 @@
     using iterator               = const_iterator;@
 \begin{footnote}
 Because \tcode{basic_string_view} refers to a constant sequence, \tcode{iterator} and \tcode{const_iterator} are the same type.
-\end{footnote}%
-@
+\end{footnote}@
     using const_reverse_iterator = reverse_iterator<const_iterator>;
     using reverse_iterator       = const_reverse_iterator;
     using size_type              = size_t;

source/support.tex

@@ -304,7 +304,7 @@
 is required to work as specified even if unary
 \tcode{operator\&}
 is overloaded for any of the types involved.
-\end{footnote}\space
+\end{footnote}
 The expression \tcode{offsetof(\placeholder{type}, \placeholder{member-designator})}
 is never type-dependent\iref{temp.dep.expr} and it is
 value-dependent\iref{temp.dep.constexpr} if and only if \tcode{\placeholder{type}} is
@@ -1289,10 +1289,10 @@
 \pnum
 \tcode{denorm_present}
 if the type allows subnormal values
-(variable number of exponent bits)
+(variable number of exponent bits),
 \begin{footnote}
 Required by LIA-1.
-\end{footnote},
+\end{footnote}
 \tcode{denorm_absent}
 if the type does not allow subnormal values,
 and

source/templates.tex

@@ -4400,11 +4400,10 @@
 \begin{itemize}
 \item \grammarterm{simple-declaration} or a \grammarterm{function-definition} in namespace scope,
 \item \grammarterm{member-declaration},
-\item \grammarterm{parameter-declaration} in a \grammarterm{member-declaration}
+\item \grammarterm{parameter-declaration} in a \grammarterm{member-declaration},
 \begin{footnote}
 This includes friend function declarations.
-\end{footnote}%
-,
+\end{footnote}
 unless that \grammarterm{parameter-declaration} appears in a default argument,
 \item \grammarterm{parameter-declaration} in a \grammarterm{declarator}
 of a function or function template declaration

source/utilities.tex

@@ -19598,7 +19598,7 @@
 Windows\textregistered\ is a registered trademark of Microsoft Corporation.
 This information is given for the convenience of users of this document and
 does not constitute an endorsement by ISO or IEC of this product.
-\end{footnote}%
+\end{footnote}
 -based and
 many POSIX-based operating systems.
 \end{note}

tools/check.sh

@@ -32,6 +32,9 @@ for f in $texfiles; do
     awk 'prev == $0 && /^\\pnum/ { print FILENAME ":" FNR ": duplicate \\pnum on consecutive lines" } { prev = $0 }' $f
 done | grep . && exit 1
 
+# punctuation after the footnote marker
+grep -n "\\end{footnote" $texfiles | grep -v '}@\?$' && exit 1
+
 # \opt used incorrectly.
 grep -n '\\opt[^{]' $texfiles && exit 1
 grep -n 'opt{}' *.tex && exit 1