hott-online.tex

% -*- mode: LaTeX -*-
% This is a main LaTeX file for generating the HoTT book
% for online reading. The format is set to letter and the
% links are dark-green.

% **** OPTIONS ****

% INCLUDE A COVER
\input{opt-cover}

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

% COLOR
\input{opt-color}

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

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

% IMAGE FOR FRONT AND BACK
\let\OPTfrontimage=\OPTlofrontimage
\let\OPTbackimage=\OPTlobackimage

% INCLUDE THE ACTUAL MAIN FILE
\input{main}