/tools/docs/

• ../
• gen-redirects.py
• gen-renames.py
• lib
• parse-headers.py