Skip to main content

The PreTeXt Guide

Subsection 5.2.3 Converting: pretext build

To convert your source into one of the available output formats, say HTML, run the command:
$ pretext build web
Here “web” is the @name of one of the targets in the project manifest (project.ptx). To build different targets, replace it with the @name of another target, as in pretext build print.
You can also build the first (default) target of the manifest by omitting the target: just type pretext build.