tags 9658 notabug close 9658 thanks Reference: <http://debbugs.gnu.org/cgi/bugreport.cgi?bug=9658>
No further comments after a month, so I assume the issue has been solved, and the diagnosis that showed it not to be an automake bug has been proved correct. I'm thus closing this bug report. Feel free to re-open it if you find more information/details that prove me wrong. Regards, Stefano
