doc/manual*
doc/*.png
doc/jflex_anttask.html
debian/logo.gif 
examples
