Update print/texinfo to version 5.2.20140707
authorDPorts Builder <nobody@home.ok>
Sat, 2 Aug 2014 16:24:23 +0000 (09:24 -0700)
committerDPorts Builder <nobody@home.ok>
Sat, 2 Aug 2014 16:24:23 +0000 (09:24 -0700)
commit40d3182b792c3ef029b222c83a8cf2a9dbc512d4
treeeff4415056713226e8eaf41f61d53ea2283f575c
parentadf8214ebaefa1d305b0776b80ccdd8d50d99904
Update print/texinfo to version 5.2.20140707
print/texinfo/Makefile
print/texinfo/distinfo