gnu: texinfo: Update to 5.1.
authorLudovic Courtès <ludo@gnu.org>
Thu, 14 Mar 2013 16:32:25 +0000 (17:32 +0100)
committerLudovic Courtès <ludo@gnu.org>
Thu, 14 Mar 2013 16:32:25 +0000 (17:32 +0100)
commitb5c56e628fdf41f688a67724ea5a6d075bd4dca3
tree2eef37474433977444202115f6b36e81f128c45a
parentef86c39f27b0d1c21435ea54cba5fb247e341537
gnu: texinfo: Update to 5.1.

* gnu/packages/texinfo.scm (texinfo): Update to 5.1.
gnu/packages/texinfo.scm