/tools/

• ../
• install.sh
• mkdist.sh
• tool2man.sh