*~
manual.tex
tools/texquote2
tools/transf
tools/transf.ml
