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: jpeters Tags: Texinfo single source file produce output number formats both online printed dvi html info pdf xml etc.. Comments: includes makeinfo Size: 1.2M Change-log: Current: 2009/03/20