From ad7548fcc42b32c7b8ab18964acc2a05b1851287 Mon Sep 17 00:00:00 2001
From: Jens Maurer <Jens.Maurer@gmx.net>
Date: Fri, 20 Dec 2024 20:18:09 +0100
Subject: [PATCH] [stdckdint.h.syn,stdbit.h.syn] Add proper indexing for header
 definition

Also add a check to prevent future oversights.
---
 source/numerics.tex   | 1 +
 source/utilities.tex  | 1 +
 tools/check-output.sh | 6 ++++++
 3 files changed, 8 insertions(+)

diff --git a/source/numerics.tex b/source/numerics.tex
index 1cdc5bb0ce..b91b8a06e1 100644
--- a/source/numerics.tex
+++ b/source/numerics.tex
@@ -18952,6 +18952,7 @@
 
 \rSec2[stdckdint.h.syn]{Header \tcode{<stdckdint.h>} synopsis}
 
+\indexheader{stdckdint.h}%
 \begin{codeblock}
 #define @\libglobal{__STDC_VERSION_STDCKDINT_H__}@ 202311L
 
diff --git a/source/utilities.tex b/source/utilities.tex
index ad5fe79cd4..6c2b5b68bf 100644
--- a/source/utilities.tex
+++ b/source/utilities.tex
@@ -15483,6 +15483,7 @@
 
 \rSec1[stdbit.h.syn]{Header \tcode{<stdbit.h>} synopsis}
 
+\indexheader{stdbit.h}%
 \begin{codeblock}
 #define @\libglobal{__STDC_VERSION_STDBIT_H__}@ 202311L
 
diff --git a/tools/check-output.sh b/tools/check-output.sh
index bfd2a370b6..af2897a1bc 100755
--- a/tools/check-output.sh
+++ b/tools/check-output.sh
@@ -48,6 +48,12 @@ cat std-grammarindex.ind |
     sed 's/^\(.*\)$/grammar non-terminal \1 has no definition/' |
     fail || failed=1
 
+# Find header index entries missing a definition
+cat std-headerindex.ind |
+    awk 'BEGIN { def=1 } /^  .item/ { if (def==0) { gsub("[{},]", "", item); print item } i=NF; while (i > 0 && $i !~ "<[a-z_.]*>") { --i; } item=$i; def=0; next } /hyperindexformat/ { def=1 }' |
+    sed 's/^\(.*\)$/header \1 has no definition/' |
+    fail || failed=1
+
 # Find concept index entries missing a definition
 cat std-conceptindex.ind |
     sed 's/.hyperindexformat/\nhyperindexformat/;s/.hyperpage/hyperpage/' |