texinfo-tex - Tools for formatting Texinfo documentation files using TeX
| Website: | http://www.gnu.org/software/texinfo/ |
|---|---|
| License: | GPLv3+ |
| Vendor: | Virtuozzo |
- 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-6.7-15.1.vl9.x86_64 [143 KiB] |
Changelog
by Vitezslav Crhonek (2022-02-21):
- Rebuild Related: #1938884 |