4 Advanced Usage ¶

Some more advanced features of vscode-texinfo is available if GNU Texinfo is correctly installed and configured on your device.

GNU Texinfo is the official (and the only known) full implementation of Texinfo. On most platforms, it can be easily installed using a package manager. For example, if you’re using a Debian-based GNU/Linux distribution, you can install GNU Texinfo with:

sudo apt-get install texinfo

GNU Texinfo provides a CLI program makeinfo, a.k.a. texi2any, which converts a Texinfo document to some other format, like HTML, PDF, plain text, etc.

To specify the location of makeinfo, edit the configuration item texinfo.makeinfo. If it’s not located in $PATH, an absolute path should be specified. Also note that the path should not contain any command line arguments.

To check whether GNU Texinfo is correctly installed and configured, see Version Indicator.