Subsection 2.2.3 Building for print
The instructions above can be repeated to produce LaTeX code: just choose
print-latex instead of web as your target. The resulting files are available in output/print-latex.Of course, it’d be even more convenient to produce a PDF directly. This requires software that can process LaTeX, which should be installed in the PreTeXt Codespace by default. Repeat the above instructions with the
print target to produce a PDF. It can be downloaded by right-clicking output/print/main.pdf in the VS Code file explorer, or previewed using a View command.
