Merge pull request #35 from ktdreyer/texinfo51
commit110d721999b12d1593814978ce52befee08693ec
authorLove Hörnquist Åstrand <lha@h5l.org>
Tue, 13 Aug 2013 07:47:31 +0000 (13 00:47 -0700)
committerLove Hörnquist Åstrand <lha@h5l.org>
Tue, 13 Aug 2013 07:47:31 +0000 (13 00:47 -0700)
tree632e5936faf3219d86825099d30c8bcd58edf05b
parent2d238b9d15ec4f9c95795a86dc8bc391a40d5b61
parent115f88a3e7901541a67964d41bbd2a1866cfc521
Merge pull request #35 from ktdreyer/texinfo51

texinfo 5.1 fixes