K 10
svn:author
V 3
hrs
K 8
svn:date
V 27
2011-06-13T03:46:22.000000Z
K 7
svn:log
V 96
Remove old texinfo bits.  This should solve conflicts with print/texinfo.

Suggested by:	johans

END