Update print/texinfo to version 4.13.20130102
authorAutomaton IAS <nobody@home.ok>
Sun, 20 Jan 2013 18:57:30 +0000 (19:57 +0100)
committerAutomaton IAS <nobody@home.ok>
Sun, 20 Jan 2013 18:57:30 +0000 (19:57 +0100)
commitd0e10eb6ae702b91058c2872f3b29ee0fa5214f4
treef55d5c4bb80db5900fac8ef7e6327a0e324d715d
parentefd21f2795a92ab8604065fd18955821ac742f83
Update print/texinfo to version 4.13.20130102
print/texinfo/Makefile
print/texinfo/distinfo