Make structure and registry files more consistent with GL registry. Move
extension number registry into extensions/registry.py and autogenerate
the HTML index, instead of registering numbers in cl.xml and requiring a
separate manual update of index.php.
10 files changed
tree: 2b99439c797d384701c1b9f00b278db9ae0b7ece
  1. api/
  2. extensions/
  3. sdk/
  4. specs/
  5. xml/
  6. index.php
  7. README.adoc