The PreTeXt Guide

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.