hott-letter-exercises.tex

% -*- mode: LaTeX -*-
% This is a main LaTeX file for generating the HoTT book
% for printing on letter paper, with exercises printed
% one per page. The links are black in this version.

% **** OPTIONS ****

% INCLUDE A COVER
\input{opt-cover}

% INCLUDE A BASTARD TITLE
\input{opt-bastard}

% BLACK & WHITE
\input{opt-black-white}

% FORMATTING DEPENDENT ON PAPER SIZE
\input{opt-letter}

% ONE EXERCISE PER PAGE
\input{opt-exerciseperpage}

% IMAGE FOR HALF-TITLE
\def\OPThalftorus{torus-hires-bw}

% IMAGE FOR FRONT AND BACK
\let\OPTfrontimage=\OPThifrontimage
\let\OPTbackimage=\OPThibackimage

% INCLUDE THE ACTUAL MAIN FILE
\input{main}