Add support for OES_read_format.  As soon as glext.h is updated with the
enums for this extension, the changes to gl.h can be removed.
diff --git a/progs/demos/readpix.c b/progs/demos/readpix.c
index 784e4c8..fc322f2 100644
--- a/progs/demos/readpix.c
+++ b/progs/demos/readpix.c
@@ -207,6 +207,8 @@
 static void
 Init( GLboolean ciMode )
 {
+   GLboolean have_read_format = GL_FALSE;
+
    printf("GL_VERSION = %s\n", (char *) glGetString(GL_VERSION));
    printf("GL_RENDERER = %s\n", (char *) glGetString(GL_RENDERER));
 
@@ -234,6 +236,20 @@
       }
    }
 
+#ifdef GL_OES_read_format
+   if ( glutExtensionSupported( "GL_OES_read_format" ) ) {
+      glGetIntegerv( GL_IMPLEMENTATION_COLOR_READ_TYPE_OES,   & ReadType );
+      glGetIntegerv( GL_IMPLEMENTATION_COLOR_READ_FORMAT_OES, & ReadFormat );
+
+      have_read_format = GL_TRUE;
+   }
+#endif
+
+   printf( "GL_OES_read_format %ssupported.  "
+	   "Using type / format = 0x%04x / 0x%04x\n",
+	   (have_read_format) ? "" : "not ",
+	   ReadType, ReadFormat );
+
    printf("Loaded %d by %d image\n", ImgWidth, ImgHeight );
 
    glPixelStorei(GL_UNPACK_ALIGNMENT, 1);