最新消息:20190717 VPS服务器:Vultr新加坡,WordPress主题:大前端D8,统一介绍入口:关于

What is makeinfo?

工作和技术 crifan 595浏览 0评论

What is makeinfo?

makeinfo is a program for converting Texinfo files into Info files. Texinfo is a documentation system that uses a single source file to produce both on-line information and printed output.

You can read the on-line information using Info; type info to learn about Info. See the Texinfo manual, to learn about the Texinfo documentation system.

转载请注明:在路上 » What is makeinfo?

发表我的评论
取消评论

表情

Hi,您需要填写昵称和邮箱!

  • 昵称 (必填)
  • 邮箱 (必填)
  • 网址
53 queries in 0.220 seconds, using 18.81MB memory