@@ -59,9 +59,9 @@ author = u'The Idris Community'
5959# built documents.
6060#
6161# The short X.Y version.
62−version = '1.0'
62+version = '1.1'
6363# The full version, including alpha/beta/rc tags.
64−release = '1.0'
64+release = '1.1.1'
6565
6666# The language for content autogenerated by Sphinx. Refer to documentation
6767# for a list of supported languages.
@@ -222,7 +222,7 @@ latex_title_page = r'''
222222 \begin{center}
223223 \includegraphics[width=0.25\textwidth]{idris-512x512.png}\par
224224 \vspace{1cm}
225− {\huge\sffamily\bfseries Documentation for the Idris Language\par}
225+ {\huge\sffamily\bfseries \makeatletter\@title\makeatother\par}
226226 \vspace{1cm}
227227 {\Large Version \version\par}
228228 \end{center}
@@ -284,8 +284,8 @@ latex_elements = {
284284\definecolor{VerbatimBorderColor}{rgb}{1,1,1}
285285''',
286286
287−'maketitle': latex_title_page
288−
287+'maketitle': latex_title_page,
288+'tableofcontents': "\\tableofcontents"
289289# Latex figure (float) alignment
290290#'figure_align': 'htbp',
291291}
@@ -294,7 +294,8 @@ latex_elements = {
294294# (source start file, target name, title,
295295# author, documentclass [howto, manual, or own class]).
296296latex_documents = [
297− ('index', 'idris.tex', u'Documentation for the Idris Language', u'The Idris Community', 'report')
297+ ('index', 'idris-documentation-complete.tex', u'Documentation for the Idris Language', u'The Idris Community', 'report'),
298+ ('tutorial/index', 'idris-tutorial.tex', u'The Idris Tutorial', u'The Idris Community', 'howto'),
298299]
299300
300301