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:	4.13a
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:		220KB
Change-log:     first version
Current:	2012/11/09