tags 8881 notabug close 8881 thanks Reference: <http://debbugs.gnu.org/cgi/bugreport.cgi?bug=8881>
I've re-read the whole thread, and I've convinced myself that this issue has nothing to do with automake. I'm thus closing this bug report. Feel free to reopen it in case you believe I've missed something. Regards, Stefano
