esden/summon-arm-toolchain — pull request #59 by jsarenik (2013-10-17 12:57:41+00:00)
Title: Make it work today

Make it work with today's ArchLinux, i.e. texinfo 5.2