Consistently place footnote mark after sentence full stop, not before it.

Author: Eelis

source/access.tex

@@ -314,11 +314,11 @@
 \tcode{protected}
 members of the base class are accessible as
 \tcode{private}
-members of the derived class\footnote{As specified previously in \ref{class.access},
+members of the derived class.\footnote{As specified previously in \ref{class.access},
 private members of a base class remain inaccessible even to derived classes
 unless
 \tcode{friend}
-declarations within the base class definition are used to grant access explicitly.}.
+declarations within the base class definition are used to grant access explicitly.}
 
 \pnum
 In the absence of an

source/overloading.tex

@@ -713,10 +713,10 @@
 has type ``\cv{}~\tcode{T}''
 where
 \tcode{T}
-denotes a class\footnote{Note that cv-qualifiers on the type of objects are
+denotes a class.\footnote{Note that cv-qualifiers on the type of objects are
 significant in overload
 resolution for
-both glvalue and class prvalue objects.}.
+both glvalue and class prvalue objects.}
 Under this
 assumption, the
 \grammarterm{id-expression}
@@ -775,7 +775,7 @@
 a contrived object of type
 \tcode{T}
 becomes the implied object
-argument\footnote{An implied object argument must be contrived to
+argument.\footnote{An implied object argument must be contrived to
 correspond to the implicit object
 parameter attributed to member functions during overload resolution.
 It is not
@@ -785,7 +785,7 @@
 same implicit
 object parameter, the contrived object will not be the cause to select or
 reject a
-function.}.
+function.}
 If the argument list is augmented by a contrived object and overload
 resolution selects one of the non-static member functions of
 \tcode{T},
@@ -848,15 +848,15 @@
 provided the function is not hidden within
 \tcode{T}
 by another
-intervening declaration\footnote{Note that this construction can yield
+intervening declaration.\footnote{Note that this construction can yield
 candidate call functions that cannot be
 differentiated one from the other by overload resolution because they have
 identical
 declarations or differ only in their return type.
 The call will be ambiguous
 if overload
 resolution cannot select a match to the call that is uniquely better than such
-undifferentiable functions.}.
+undifferentiable functions.}
 
 \pnum
 If such a surrogate call function is selected by overload

source/templates.tex

@@ -1864,7 +1864,7 @@
 \pnum
 In order to determine if a constraint $P$ subsumes a constraint $Q$,
 $P$ is transformed into disjunctive normal form, and
-$Q$ is transformed into conjunctive normal form\footnote{%
+$Q$ is transformed into conjunctive normal form.\footnote{%
 A constraint is in disjunctive normal form when it is a disjunction of
 clauses where each clause is a conjunction of atomic constraints.
 %
@@ -1888,7 +1888,7 @@
 Its disjunctive clauses are $(A \land B)$ and
 $(A \land C)$.
 \end{example}%
-}.
+}
 %
 Then, $P$ \defnx{subsumes}{constraint!subsumption} $Q$ if and only if,
 for every disjunctive clause $P_i$ in the disjunctive normal