[Bug other/56721] libffi.info installed in share/info collides with that from libffi itself

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56721

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> 2013-03-25 12:53:09 UTC ---
Kind of.  The default install target should not install libffi.  See the
patch posted by Matthias Klose.