The PreTeXt Guide

At this point, you should have a PreTeXt project set up as a github.com repository with a github.dev Codespace. You can use the Code menu on the repository webpage to pull up the Codespace environment in your web browser if you haven’t already.

The left-hand menu should display a file tree, containing a folder called source with a file called main.ptx. These files were created when you set up your Codespace, and form a complete, albeit very short, PreTeXt document.

Now you are ready to build it!