To update opengl_specs.txt:
 
  1. In an empty temporary directory run:
       wget_opengl_specs.csh
 
  2. In $GLTBX_DIST run:
       python extract_opengl_specs.py /tmpdir/html/*/*.html > opengl_specs.txt

Modules
		os sys

Functions
		extract_defines(html_string, all_defines) extract_signatures(html_string, all_signatures) run(args)

Data
		sequential_defines = ['GL_AUX', 'GL_CLIP_PLANE', 'GL_LIGHT']