On Saturday 20 November 2010, Ralf Wildenhues wrote: > * Stefano Lattarini wrote on Sat, Nov 20, 2010 at 01:00:05PM CET: > > ... I'm fine with this; I'll just rewrite the fixme comment to > > reference the thread above and to be more "possibilist": > > > > @c FIXME: Could we find a better name than $(AM_V_at)? $(AM_V_SILENT) > > @c is nice, but also a bit too long. > > @c If we find such a better name, we should then deprecate $(AM_V_at), > > @c but *not* remove it: it should be kept for backward-compatibility. > > Instead, please open a PR by writing to bug-automake, and point to the > cited threads and this one. debbugs is better than a comment in the > manual. > You're right of course. PR opened.
Regards, Stefano