/tools/

• ../
• config.guess
• config.sub
• cvslog
• gendist
• install-sh
• linuxdoc
• linuxdoc-tools
• make-dev-archive
• make-obs
• progdoc