+nnumber_notation.cmo: disambiguateChoices.cmi nnumber_notation.cmi
+nnumber_notation.cmx: disambiguateChoices.cmx nnumber_notation.cmi
+grafiteDisambiguate.cmo: nCicDisambiguate.cmi disambiguateChoices.cmi \
+ grafiteDisambiguate.cmi
+grafiteDisambiguate.cmx: nCicDisambiguate.cmx disambiguateChoices.cmx \
+ grafiteDisambiguate.cmi