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