[m-rev.] for review: --generate-dependencies-ints

[Julien Fischer]

On Wed, 11 Oct 2023, Zoltan Somogyi wrote:

>>> If we want to keep both options, the next question is: how do we
>>> get mmake to use the new option? We would need some mmake target suffix
>>> that Mmake.rules would recognize as calling for the new option
>>> --generate-dependencies-ints, instead of just --generate-dependencies.
>>> What should that suffix be? I think .depend-ints would be a
>>> logical choice, but I am not sure it would look right to users.
>> 
>> Seems okay.
>
> Will do that then, unless Julien comes up with a better name.

The name is fine. We don't use "-" in any other documented target suffixes.
We use "_" in all_ints, so maybe make it .depend_ints for consistency.

Julien.