build-tree/tdeedu-*/kturtle/AUTHORS
build-tree/tdeedu-*/kturtle/TODO