diff options
Diffstat (limited to 'src/mapi/glapi/gen/Makefile')
-rw-r--r-- | src/mapi/glapi/gen/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
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 \ |