Make coq-realizations.aux dependent on the makefile. Make its building rule a bit quieter.
Make coq-realizations.aux dependent on the makefile.
Make its building rule a bit quieter.

ssaavedra/why3,douglas-larocca/why3,douglas-larocca/why3,ssaavedra/why3,jpdeplaix/why3,ssaavedra/why3,douglas-larocca/why3,jpdeplaix/why3,jpdeplaix/why3