Title:		texinfo.tce
Description:	Texinfo uses a single source file to produce output in a number of formats, both online and printed (dvi, html, info, pdf, xml, etc.)
Version:	6.0
Author:		Richard Stallman and Bob Chassell
Original-site:	http://linux.softpedia.com/get/Documentation/Texinfo-17897.shtml
Copying-policy:	GNU General Public License
Extension_by:	juanito
Tags:		output formats both online printed dvi html info pdf xml etc
Comments:       includes makeinfo
Size:		1.7MB
                ----------
Change-log:     2012/11/09 first version
                2013/10/12 updated 4.13a -> 5.1
                2014/09/22 updated 5.1 -> 5.2
Current:	2015/10/31 updated 5.2 -> 6.0