ic-print.tex

% ic-print.tex

% driver file ic-print.tex to produce the Logic III textbook for
% printing on KDPs's quarto stock.

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

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

\def\oljobname{ic}

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

\newcommand{\olpath}{../../}

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

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

\input{ic-metadata}

% we want all the problems deferred to the very end

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

% load glossary entries

%\loadglsentries{include/glossary}

% end preamble

\input{includeonly}

\begin{document}

% Now load the actual text

\input{ic}

\end{document}