/tools/

• ../
• check-includes.pl
• make-directive-index.py
• make-man-index.py
• make-man-rules.py
• xml_helper.py