[meta] Adjust cross-references

Author: jensmaurer

source/compatibility.tex

@@ -1591,7 +1591,7 @@
 \libheaderrefx{system_error}{system.error.syn},
 \libheaderref{thread},
 \libheaderref{tuple},
-\libheaderrefx{typeindex}{type.index.synopsis},
+\libheaderrefx{type\-index}{type.index.synopsis},
 \libheaderrefx{type_traits}{meta.type.synop},
 \libheaderrefx{unordered_map}{unord.map.syn},
 and

source/meta.tex

@@ -73,8 +73,8 @@
 \rSec2[type.traits.general]{General}
 
 \pnum
-Subclause \ref{meta} describes components used by \Cpp{} programs, particularly in
-templates, to support the widest possible range of types, optimise
+Subclause \ref{type.traits} describes components used by \Cpp{} programs, particularly in
+templates, to support the widest possible range of types, optimize
 template code usage, detect type related user errors, and perform
 type inference and transformation at compile time. It includes type
 classification traits, type property inspection traits, and type
@@ -86,7 +86,7 @@
 
 \pnum
 \indextext{signal-safe!type traits}%
-All functions specified in \ref{meta} are signal-safe\iref{support.signal}.
+All functions specified in \ref{type.traits} are signal-safe\iref{support.signal}.
 
 \rSec2[meta.rqmts]{Requirements}
 
@@ -132,16 +132,16 @@
 \pnum
 Unless otherwise specified,
 the behavior of a program that adds specializations
-for any of the templates specified in \ref{meta}
+for any of the templates specified in \ref{type.traits}
 is undefined.
 
 \pnum
 Unless otherwise specified, an incomplete type may be used
-to instantiate a template specified in \ref{meta}.
+to instantiate a template specified in \ref{type.traits}.
 The behavior of a program is undefined if:
 \begin{itemize}
 \item
-  an instantiation of a template specified in \ref{meta}
+  an instantiation of a template specified in \ref{type.traits}
   directly or indirectly depends on
   an incompletely-defined object type \tcode{T}, and
 \item
@@ -2627,4 +2627,3 @@
 specification are representable by \tcode{intmax_t}, the typedef is
 defined; if either of the constants is not representable by \tcode{intmax_t},
 the typedef is not defined.
-