[std] Move punctuation to before the footnote marker.

Also add an automated check.

Author: jensmaurer

source/atomics.tex

@@ -641,12 +641,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

@@ -171,7 +171,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},
@@ -3950,14 +3950,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

@@ -7054,11 +7054,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;
@@ -7082,13 +7082,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/iostreams.tex

@@ -2665,7 +2665,7 @@
 
 \pnum
 \returns
-\tcode{str}
+\tcode{str}.
 \begin{footnote}
 The function signature
 \tcode{dec(ios_base\&)}
@@ -2676,8 +2676,7 @@
 \tcode{cout << dec}
 to change the format flags stored in
 \tcode{cout}.
-\end{footnote}%
-.
+\end{footnote}
 \end{itemdescr}
 
 \indexlibraryglobal{hex}%
@@ -3669,8 +3668,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

@@ -4074,8 +4074,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
@@ -1293,10 +1293,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

@@ -4349,11 +4349,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

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