Typesetting Tools

Texinfo – typesetting syntax

Texinfo is a typesetting syntax used for generating documentation in both on-line and printed form (creating filetypes as dvi, html, pdf, etc., and a specific hypertext format, Info) with a single source file.

Using Texinfo, you can create a printed document (via the TeX typesetting system) in PDF format, including chapters, sections, cross-references, and indices. From the same Texinfo source file, you can create HTML output suitable for use with a web browser, you can create an Info file for use in GNU Emacs or other Info-reading programs, and also create DocBook, EPUB 3, or LaTeX files.

A Texinfo source file is a plain text file containing text interspersed with @-commands (words preceded by an ‘@’) that tell the Texinfo processors what to do. Texinfo’s markup commands are almost entirely semantic; that is, they specify the intended meaning of text in the document, rather than physical formatting instructions.

This is free and open source software.

Features include:

  • Supported output formats:
    • PDF or DVI document (via the TeX typesetting system) with the normal features of a book, including sectioning, cross references, indices, etc.
    • Info file with analogous features.
    • Plain text (ASCII) file.
    • HTML output suitable for use with a web browser.
    • EPUB 3 e-book.
    • LaTeX file, which can then be used to create a PDF.
    • Docbook file.
    • PostScrript.
    • XML.
  • Texinfo file can be formatted and typeset as a printed book or manual. To do this, you need TeX.

Website: www.gnu.org/software/texinfo
Developer: Free Software Foundation, Inc.
License: GNU General Public License v3.0

Texinfo is written in C and Perl. Learn C with our recommended free books and free tutorials. Learn Perl with our recommended free books and free tutorials.

Return to Typesetting Systems

Popular series
Free and Open Source SoftwareThe largest compilation of the best free and open source software in the universe. Each article is supplied with a legendary ratings chart helping you to make informed decisions.
ReviewsHundreds of in-depth reviews offering our unbiased and expert opinion on software. We offer helpful and impartial information.
Alternatives to Proprietary SoftwareReplace proprietary software with open source alternatives: Google, Microsoft, Apple, Adobe, IBM, Autodesk, Oracle, Atlassian, Corel, Cisco, Intuit, and SAS.
GamesAwesome Free Linux Games Tools showcases a series of tools that making gaming on Linux a more pleasurable experience. This is a new series.
Artificial intelligence iconMachine Learning explores practical applications of machine learning and deep learning from a Linux perspective. We've written reviews of more than 40 self-hosted apps. All are free and open source.
Guide to LinuxNew to Linux? Read our Linux for Starters series. We start right at the basics and teach you everything you need to know to get started with Linux.
Alternatives to popular CLI tools showcases essential tools that are modern replacements for core Linux utilities.
System ToolsEssential Linux system tools focuses on small, indispensable utilities, useful for system administrators as well as regular users.
ProductivityLinux utilities to maximise your productivity. Small, indispensable tools, useful for anyone running a Linux machine.
AudioSurveys popular streaming services from a Linux perspective: Amazon Music Unlimited, Myuzi, Spotify, Deezer, Tidal.
Saving Money with LinuxSaving Money with Linux looks at how you can reduce your energy bills running Linux.
Home ComputersHome computers became commonplace in the 1980s. Emulate home computers including the Commodore 64, Amiga, Atari ST, ZX81, Amstrad CPC, and ZX Spectrum.
Now and ThenNow and Then examines how promising open source software fared over the years. It can be a bumpy ride.
Linux at HomeLinux at Home looks at a range of home activities where Linux can play its part, making the most of our time at home, keeping active and engaged.
Linux CandyLinux Candy reveals the lighter side of Linux. Have some fun and escape from the daily drudgery.
DockerGetting Started with Docker helps you master Docker, a set of platform as a service products that delivers software in packages called containers.
Android AppsBest Free Android Apps. We showcase free Android apps that are definitely worth downloading. There's a strict eligibility criteria for inclusion in this series.
Programming BooksThese best free books accelerate your learning of every programming language. Learn a new language today!
Programming TutorialsThese free tutorials offer the perfect tonic to our free programming books series.
Linux Around The WorldLinux Around The World showcases usergroups that are relevant to Linux enthusiasts. Great ways to meet up with fellow enthusiasts.
Stars and StripesStars and Stripes is an occasional series looking at the impact of Linux in the USA.
Notify of

This site uses Akismet to reduce spam. Learn how your comment data is processed.

Inline Feedbacks
View all comments