*.annot
*.cmo
*.cma
*.cmi
*.a
*.o
*.cmx
*.cmxs
*.cmxa
*.ppo
distribution

ged2gwb/ged2gwb
ged2gwb/ged2gwb.opt
ged2gwb/ged2gwb2
ged2gwb/ged2gwb2.opt

gwb2ged/gwb2ged
gwb2ged/gwb2ged.opt

gwtp/gwtp
gwtp/gwtp.opt

setup/gwsetup
setup/setup.opt

src/compilation.ml
src/gwlib.ml

src/check_base
src/check_base.opt
src/consang
src/consang.opt
src/gwc
src/gwc1
src/gwc1.opt
src/gwc2
src/gwc2.opt
src/gwd
src/gwd.opt
src/gwu
src/gwu.opt
src/update_nldb
src/update_nldb.opt

tools/Makefile.inc
tools/Makefile.ocaml
