Re: EXTRA_PROGRAMS vs. clean

[Akim Demaille]

While we're one that topic, I don't understand why cleaning the tags
is hooked to distclean instead of clean.