Update GL index page for new KHR/khrplatform.h dependency
diff --git a/index_es.php b/index_es.php
index 34b9e64..bd5ba8c 100644
--- a/index_es.php
+++ b/index_es.php
@@ -170,8 +170,8 @@
OpenGL ES version-specific platform header file intended to define
calling conventions and data types specific to a platform. </p>
-<p> Finally, almost all of the headers described below depend on a
- platform header file common to multiple Khronos APIs called
+<p> Almost all of the headers described below depend on a platform header
+ file common to multiple Khronos APIs called
<tt><KHR/khrplatform.h></tt>. </p>
<p> Vendors may include modified versions of any or all of these headers
diff --git a/index_gl.php b/index_gl.php
index 33db303..7f09698 100644
--- a/index_gl.php
+++ b/index_gl.php
@@ -82,6 +82,11 @@
<tt>wgl.h</tt> header files supplied with the OS / graphics drivers.
Additional header files are provided here, including: </p>
+<p> Almost all of the headers described below depend on a platform header
+ file common to multiple Khronos APIs called
+ <tt><KHR/khrplatform.h></tt>. </p>
+
+
<ul>
<li> <tt><a href="api/GL/glext.h"><GL/glext.h></a></tt> - OpenGL
1.2 and above compatibility profile and extension interfaces. </li>
@@ -101,6 +106,21 @@
problems as Issues in the <a
href="index.php#repository">OpenGL-Registry</a> repository. </p>
+<p> <a name="headerskhr"></a> <b> Khronos Shared Platform Header
+ (<tt><KHR/khrplatform.h></tt>) </b> </p>
+
+<ul>
+<li> The OpenGL headers all depend on the shared
+ <a href="https://www.khronos.org/registry/EGL/api/KHR/khrplatform.h">
+ <tt><KHR/khrplatform.h></tt></a> header from the <a
+ href="http://www.khronos.org/registry/EGL/"> EGL Registry </a>.
+ This is a new dependency, introduced in
+ <a href="https://github.com/KhronosGroup/OpenGL-Registry/pull/183">
+ OpenGL-Registry pull request 183</a> for increased compatibility
+ between OpenGL and OpenGL ES headers. </li>
+</ul>
+
+
<hr>
<!-- Older Material -->