Updates scripts and the extension registry to include KHR extensions (mostly new) in addition to EXT and vendor-specific extensions (existing).
Summary of the changes are:
I modified the script to generate separate unnumbered, alphabetized lists for KHR extensions and non-KHR extensions instead of a single ordered list based on the extension number for (primarily non-KHR) extensions. This was the biggest change (but not too bad, the script is very short).
I modified the registry webpage to include both extension lists instead of only the primarily-non-KHR extension list.
I added all KHR extensions to registry.py with links into the extension spec.
A few minor changes to Makefiles or other supporting scripts.
See internal issue 188.
Updates scripts and the extension registry to include KHR extensions (mostly new) in addition to EXT and vendor-specific extensions (existing).
Summary of the changes are:
Needs working group sign-off before merging.