added config.ac to the tarball for debian packages

[helm.git] / helm / software / components / cic_disambiguation / .depend

cicDisambiguate.cmi :
disambiguateChoices.cmi :
cicDisambiguate.cmo : cicDisambiguate.cmi
cicDisambiguate.cmx : cicDisambiguate.cmi
disambiguateChoices.cmo : disambiguateChoices.cmi
disambiguateChoices.cmx : disambiguateChoices.cmi
number_notation.cmo : disambiguateChoices.cmi
number_notation.cmx : disambiguateChoices.cmx