/tools/buildHeaders/bin/

• ../
• generate_language_headers.py
• makeExtinstHeaders.py
• makeHeaders