blob: 75493e127fe1b4b4c385bb74065118d5741fcadd (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
\documentclass{book}
\usepackage{haddock}
\begin{document}
\begin{titlepage}
\begin{haddocktitle}
\end{haddocktitle}
\end{titlepage}
\tableofcontents
\input{NamespacedIdentifiers}
\end{document}
|