文件名称：texinfo6.7源码
文件大小：8.61MB
文件格式：GZ
更新时间：2023-11-24 12:52:30
texinfo源码
texinfo6.7源码 Texinfo is the official documentation format of the GNU project. It is used by many non-GNU projects as well. Texinfo uses a single source file to produce output in a number of formats, both online and printed (DVI, HTML, Info, PDF, XML, etc.). This means that instead of writing differ