settheory-print.tex

% settheory-print.tex

% driver file settheory-print.tex to produce the Set Theory textbook
% on Crown Quarto stock for printing (KDP).

\documentclass[print]{../../sty/open-logic-book}

%\usepackage[nonumberlist,toc,style=index]{glossaries}
%\makeglossaries

% \olpath has to point to the location of the OLP main
% directory/folder.  We're compiling from subdirectory
% courses/set-theory/, so the main directory is two
% levels up.

\newcommand{\olpath}{../../}
\def\jobname{settheory}

% load all the Open Logic definitions. This will also load the
% local definitions in bd-config.sty

\input{\olpath/sty/open-logic.sty}

\input{settheory-metadata}

\input{\olpath/sty/open-logic-defer.sty}

% end preamble

\begin{document}

\input{includeonly}

\excludeenv{editorial}

% Now load the actual text

\input{settheory}

\end{document}