@@ -59,9 +59,9 @@ author = u'The Idris Community'
59# built documents.
59# built documents.
61# The short X.Y version.
61# The short X.Y version.
62−version = '1.0'
62+version = '1.1'
63# The full version, including alpha/beta/rc tags.
63# The full version, including alpha/beta/rc tags.
64−release = '1.0'
64+release = '1.1.1'
66# The language for content autogenerated by Sphinx. Refer to documentation
66# The language for content autogenerated by Sphinx. Refer to documentation
67# for a list of supported languages.
67# for a list of supported languages.
@@ -222,7 +222,7 @@ latex_title_page = r'''
222 \begin{center}
222 \begin{center}
223 \includegraphics[width=0.25\textwidth]{idris-512x512.png}\par
223 \includegraphics[width=0.25\textwidth]{idris-512x512.png}\par
224 \vspace{1cm}
224 \vspace{1cm}
225− {\huge\sffamily\bfseries Documentation for the Idris Language\par}
225+ {\huge\sffamily\bfseries \makeatletter\@title\makeatother\par}
226 \vspace{1cm}
226 \vspace{1cm}
227 {\Large Version \version\par}
227 {\Large Version \version\par}
228 \end{center}
228 \end{center}
@@ -284,8 +284,8 @@ latex_elements = {
284\definecolor{VerbatimBorderColor}{rgb}{1,1,1}
284\definecolor{VerbatimBorderColor}{rgb}{1,1,1}
287−'maketitle': latex_title_page
287+'maketitle': latex_title_page,
288−
288+'tableofcontents': "\\tableofcontents"
289# Latex figure (float) alignment
289# Latex figure (float) alignment
290#'figure_align': 'htbp',
290#'figure_align': 'htbp',
@@ -294,7 +294,8 @@ latex_elements = {
294# (source start file, target name, title,
294# (source start file, target name, title,
295# author, documentclass [howto, manual, or own class]).
295# author, documentclass [howto, manual, or own class]).
296latex_documents = [
296latex_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'),