From db9c750c782938ccc999f3ea53b06434356ddaa3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Vladim=C3=ADr=20Vondru=C5=A1?= Date: Wed, 6 Nov 2019 12:11:39 +0100 Subject: [PATCH] doc: properly link to the WebGL version of RGTC / BPTC extensions. --- doc/opengl-support.dox | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/opengl-support.dox b/doc/opengl-support.dox index 34d9e615e..6885a6eb9 100644 --- a/doc/opengl-support.dox +++ b/doc/opengl-support.dox @@ -537,8 +537,8 @@ Extension | Status @webgl_extension{EXT,sRGB} | done @webgl_extension{EXT,disjoint_timer_query} | only time elapsed query @webgl_extension{EXT,color_buffer_float} | | -@gl_extension{EXT,texture_compression_rgtc} | done -@gl_extension{EXT,texture_compression_bptc} | done +@webgl_extension{EXT,texture_compression_rgtc} | done +@webgl_extension{EXT,texture_compression_bptc} | done @webgl_extension{OES,texture_float_linear} | done @webgl_extension{WEBGL,compressed_texture_s3tc} | done @webgl_extension{WEBGL,compressed_texture_pvrtc} | done