*.cmi
*.cmo
*.cmx
cam-config
cam-config.opt
cam_crc.ml
cam_installation.ml
cameleon
cameleon.opt
docbrowser
docbrowser.opt
dump.odoc
