Compiling OLT

Sections, chapters, parts, and the entire text can each be compiled separately. This is accomplished by using the subfile package. Each section source file, as well as the source files to compile chapters and parts do not have a separate preamble, but refer to open-logic-section.tex, open-logic-chapter.tex, and open-logic-part.tex, respectively, files that live in the directory include/.

Sections, chapters, and parts can be compiled on their own, although this will only really be useful for proofing them.

The files open-logic-debug.tex and open-logic-complete.tex in the main directory will produce the complete text. The former will contain links to GitHub and other "debugging" information, such as color-coded text and names of labels printed in the margins. open-logic-complete.tex will produce a more finished text.

Note that to get the links, you'll have to run 'pdflatex' with the '-recorder' flag, e.g.,

pdflatex -recorder open-logic-debug

You can also install and use the latexmk tool which does this automatically. In this case, use

latexmk -pdf open-logic-debug