Skip to content

Commit

Permalink
[stdckdint.h.syn,stdbit.h.syn] Add proper indexing for header definition
Browse files Browse the repository at this point in the history
Also add a check to prevent future oversights.
  • Loading branch information
jensmaurer committed Dec 20, 2024
1 parent 2d3ac36 commit ad7548f
Show file tree
Hide file tree
Showing 3 changed files with 8 additions and 0 deletions.
1 change: 1 addition & 0 deletions source/numerics.tex
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down
1 change: 1 addition & 0 deletions source/utilities.tex
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down
6 changes: 6 additions & 0 deletions tools/check-output.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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/' |
Expand Down

0 comments on commit ad7548f

Please sign in to comment.