crafty.hlp
debian/doc/FAQ.txt
debian/doc/readme.txt
debian/doc/documentation.txt
debian/doc/setup_crafty.sh
