bug#8881: this is not an automake bug

[Stefano Lattarini]

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