diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 44837d9048f..3eafcfbb7dd 100644
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -45972,12 +45972,18 @@ pointers; printing a code pointer converts it into a symbolic
 address.  The stack pointer and any dedicated address registers
 may be marked as data pointers.
 
+@item ieee_half
+Half precision IEEE floating point.
+
 @item ieee_single
 Single precision IEEE floating point.
 
 @item ieee_double
 Double precision IEEE floating point.
 
+@item bfloat16
+The 16-bit @dfn{brain floating point} format used e.g.@: by x86 and ARM.
+
 @item arm_fpa_ext
 The 12-byte extended precision format used by ARM FPA registers.