From cf7e1a46b54c258d3f92450efa7dbc4b3e540c51 Mon Sep 17 00:00:00 2001
From: Jan Schultke <me@eisenwave.net>
Date: Thu, 17 Aug 2023 17:21:09 +0200
Subject: [PATCH] [stdfloat.syn] add typedefs to library index

---
 source/support.tex | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/source/support.tex b/source/support.tex
index f9fb1a8c81..7bedd36f36 100644
--- a/source/support.tex
+++ b/source/support.tex
@@ -1966,6 +1966,10 @@
 \ref{basic.extended.fp}.
 
 \indexheader{stdfloat}%
+\indexlibraryglobal{float16_t}%
+\indexlibraryglobal{float32_t}%
+\indexlibraryglobal{float64_t}%
+\indexlibraryglobal{bfloat16_t}%
 \begin{codeblock}
 namespace std {
   #if defined(__STDCPP_FLOAT16_T__)