-disambiguateChoices.cmo : \
- nnumber_notation.cmi \
- disambiguateChoices.cmi
-disambiguateChoices.cmx : \
- nnumber_notation.cmx \
- disambiguateChoices.cmi
+disambiguateChoices.cmo : nnumber_notation.cmi disambiguateChoices.cmi
+disambiguateChoices.cmx : nnumber_notation.cmx disambiguateChoices.cmi