commit 14e6d0ed4be07a4d6bf94a141af83b7d60f1ac5f parent 686445fab20c835b9649f2278542069a5be87546 Author: Ruben Rodriguez <ruben@gnu.org> Date: Mon, 20 Oct 2014 02:43:14 +0200 Make generation scripts distro-independent Diff is too large, output suppressed.