The OpenGL specification is published as a PDF, but odds are good that it is generated from some source data format. Is this source data publicly available somewhere?