From 9954d0997a4bd2ab6d12178ad1299a269cd9a90e Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 27 Nov 2008 21:29:54 +0000 Subject: [PATCH] ... --- .../components/cic_disambiguation/.depend.opt | 21 ++++++------------- 1 file changed, 6 insertions(+), 15 deletions(-) diff --git a/helm/software/components/cic_disambiguation/.depend.opt b/helm/software/components/cic_disambiguation/.depend.opt index 6ad263c49..9fd0c6639 100644 --- a/helm/software/components/cic_disambiguation/.depend.opt +++ b/helm/software/components/cic_disambiguation/.depend.opt @@ -1,15 +1,6 @@ -disambiguateChoices.cmi: disambiguateTypes.cmi -disambiguate.cmi: disambiguateTypes.cmi -cicDisambiguate.cmi: disambiguateTypes.cmi disambiguate.cmi -disambiguateTypes.cmo: disambiguateTypes.cmi -disambiguateTypes.cmx: disambiguateTypes.cmi -disambiguateChoices.cmo: disambiguateTypes.cmi disambiguateChoices.cmi -disambiguateChoices.cmx: disambiguateTypes.cmx disambiguateChoices.cmi -disambiguate.cmo: disambiguateTypes.cmi disambiguate.cmi -disambiguate.cmx: disambiguateTypes.cmx disambiguate.cmi -cicDisambiguate.cmo: disambiguateTypes.cmi disambiguate.cmi \ - cicDisambiguate.cmi -cicDisambiguate.cmx: disambiguateTypes.cmx disambiguate.cmx \ - cicDisambiguate.cmi -number_notation.cmo: disambiguateTypes.cmi disambiguateChoices.cmi -number_notation.cmx: disambiguateTypes.cmx disambiguateChoices.cmx +disambiguateChoices.cmo: disambiguateChoices.cmi +disambiguateChoices.cmx: disambiguateChoices.cmi +cicDisambiguate.cmo: cicDisambiguate.cmi +cicDisambiguate.cmx: cicDisambiguate.cmi +number_notation.cmo: disambiguateChoices.cmi +number_notation.cmx: disambiguateChoices.cmx -- 2.39.2