diff --git a/src/mapi/glapi/gen/ARB_texture_float.xml b/src/mapi/glapi/gen/ARB_texture_float.xml
new file mode 100644
index 00000000000..5db7691c8d7
--- /dev/null
+++ b/src/mapi/glapi/gen/ARB_texture_float.xml
@@ -0,0 +1,36 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/src/mapi/glapi/gen/GL3x.xml b/src/mapi/glapi/gen/GL3x.xml
index f74e36007fd..86a9a2c3d0b 100644
--- a/src/mapi/glapi/gen/GL3x.xml
+++ b/src/mapi/glapi/gen/GL3x.xml
@@ -35,6 +35,13 @@
+
+
+
+
+
+
+
diff --git a/src/mapi/glapi/gen/Makefile b/src/mapi/glapi/gen/Makefile
index 244c67ecc03..49dfd75bfb7 100644
--- a/src/mapi/glapi/gen/Makefile
+++ b/src/mapi/glapi/gen/Makefile
@@ -82,6 +82,7 @@ API_XML = \
ARB_sync.xml \
ARB_texture_buffer_object.xml \
ARB_texture_compression_rgtc.xml \
+ ARB_texture_float.xml \
ARB_texture_rg.xml \
ARB_texture_storage.xml \
ARB_vertex_array_object.xml \
diff --git a/src/mapi/glapi/gen/gl_API.xml b/src/mapi/glapi/gen/gl_API.xml
index 77b47b76353..a74577d1fc3 100644
--- a/src/mapi/glapi/gen/gl_API.xml
+++ b/src/mapi/glapi/gen/gl_API.xml
@@ -7896,7 +7896,9 @@
-
+
+
+