texinfo-tex - Tools for formatting Texinfo documentation files using TeX
Website: | http://www.gnu.org/software/texinfo/ |
---|---|
License: | GPLv3+ |
- Description:
Texinfo is a documentation system that can produce both online information and printed output from a single source file. The GNU Project uses the Texinfo file format for most of its documentation. The texinfo-tex package provides tools to format Texinfo documents for printing using TeX.
Packages
texinfo-tex-4.13a-10m.mo7.x86_64 [42 KiB] |
Changelog
by Yohsuke Ooi (2010-08-31):
- (4.13a-10m) - full rebuild for mo7 release |