doc/*.png
doc/jflex_anttask.html
doc/manual*
examples
