From 200fd6465ee3fde976f9ab612b855c8a5ed65c4e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thomas=20K=C3=B6ppe?= <tkoeppe@google.com>
Date: Thu, 6 Nov 2025 10:39:41 -1000
Subject: [PATCH] [character.seq.general, time.general] Define STATICALLY-WIDEN
 in a better place

The facility is now used from two different places ([time] and
[format]) and is now better defined in the library introduction.
---
 source/lib-intro.tex | 5 +++++
 source/time.tex      | 6 ------
 2 files changed, 5 insertions(+), 6 deletions(-)

diff --git a/source/lib-intro.tex b/source/lib-intro.tex
index e2e7c09ec8..175daa88d9 100644
--- a/source/lib-intro.tex
+++ b/source/lib-intro.tex
@@ -789,6 +789,11 @@
 predicate.
 A character sequence can be designated by a pointer value
 \tcode{\placeholder{S}} that points to its first element.
+\item
+\indextext{STATICALLY-WIDEN@\exposid{STATICALLY-WIDEN}}%
+Let \exposid{STATICALLY-WIDEN}\tcode{<charT>("...")} be
+\tcode{"..."} if \tcode{charT} is \tcode{char} and
+\tcode{L"..."} if \tcode{charT} is \keyword{wchar_t}.
 \end{itemize}
 
 \rSec5[byte.strings]{Byte strings}
diff --git a/source/time.tex b/source/time.tex
index d82346f75a..67b1b06b47 100644
--- a/source/time.tex
+++ b/source/time.tex
@@ -25,12 +25,6 @@
 \ref{ctime.syn}             & C library time utilities           & \tcode{<ctime>} \\
 \end{libsumtab}
 
-\pnum
-\indextext{STATICALLY-WIDEN@\exposid{STATICALLY-WIDEN}}%
-Let \exposid{STATICALLY-WIDEN}\tcode{<charT>("...")} be
-\tcode{"..."} if \tcode{charT} is \tcode{char} and
-\tcode{L"..."} if \tcode{charT} is \keyword{wchar_t}.
-
 \rSec1[time.syn]{Header \tcode{<chrono>} synopsis}
 
 \indexheader{chrono}%