@@ -216,15 +216,74 @@ htmlhelp_basename = 'IdrisManualdoc'
216216
217217# -- Options for LaTeX output ---------------------------------------------
218218
219+latex_title_page = r'''
220+\begin{titlepage}
221+ \vspace*{\fill}
222+ \begin{center}
223+ \includegraphics[width=0.25\textwidth]{idris-512x512.png}\par
224+ \vspace{1cm}
225+ {\huge\sffamily\bfseries Documentation for the Idris Language\par}
226+ \vspace{1cm}
227+ {\Large Version \version\par}
228+ \end{center}
229+ \vspace*{\fill}
230+\end{titlepage}
231+'''
232+
219233latex_elements = {
220234# The paper size ('letterpaper' or 'a4paper').
221235'papersize': 'a4paper',
222236
237+'fontpkg': '',
238+'inputenc': '',
239+'utf8extra': '',
240+'releasename': 'Version',
241+
223242# The font size ('10pt', '11pt' or '12pt').
224243'pointsize': '10pt',
225244
226245# Additional stuff for the LaTeX preamble.
227−#'preamble': '',
246+'preamble': r'''
247+\usepackage{lmodern}
248+\usepackage[T1]{fontenc}
249+\usepackage[utf8x]{inputenc}
250+\usepackage{titlesec}
251+%
252+\usepackage{fancyhdr}
253+\fancypagestyle{plain}{%
254+ \renewcommand{\headrulewidth}{0pt}%
255+ \fancyhf{}%
256+ \fancyfoot[C]{\textsf{\thepage}}
257+}
258+\pagestyle{fancy}
259+\fancyhf{}
260+\fancyhead[LE,RO]{\textsf{\bfseries{v\version}}}
261+\fancyhead[LO,RE]{\textsf{\bfseries\leftmark}}
262+%\fancyhead[LO]{\textsf{\bfseries{\leftmark}}}
263+%\fancyhead[RO]{\textsf{\bfseries{v\version}}}
264+%\fancyhead[RE]{\textsf{\bfseries{\leftmark}}}
265+%\fancyhead[LE]{\textsf{\bfseries{v\version}}}
266+\fancyfoot[C]{\textsf{\thepage}}
267+\renewcommand{\footrulewidth}{0pt}
268+\renewcommand{\headrulewidth}{0pt}
269+%
270+\usepackage[font={small,it}]{caption}
271+\titleformat{\section}
272+ {\normalfont\sffamily\Large\bfseries\color{black}}
273+ {\thesection}{1em}{}
274+\titleformat{\subsection}
275+ {\sffamily\large\bfseries\color{black}}
276+ {\thesubsection}{1em}{}
277+\titleformat{\subsubsection}
278+ {\sffamily\normalsize\bfseries\color{black}}
279+ {\thesubsubsection}{1em}{}
280+\titleformat{\paragraph}{\normalfont\normalsize\slshape}{\theparagraph}{1em}{}
281+\setlength{\parskip}{1em}
282+%
283+\hypersetup{colorlinks = false}
284+''',
285+
286+'maketitle': latex_title_page
228287
229288# Latex figure (float) alignment
230289#'figure_align': 'htbp',
@@ -234,15 +293,16 @@ latex_elements = {
234293# (source start file, target name, title,
235294# author, documentclass [howto, manual, or own class]).
236295latex_documents = [
237− ('tutorial/index', 'idris-tutorial.tex', u'The Idris Tutorial', u'The Idris Community', 'manual'),
238− ('guides/index', 'idris-guides.tex', u'Idris Tutorial Series', u'The Idris Community', 'manual'),
239−# ('reference/index', 'idris-reference.tex', u'The Idris Reference', u'The Idris Community', 'manual'),
240− ('effects/index', 'eff-tutorial.tex', u'The Effects Tutorial', u'The Idris Community', 'manual')
241− ]
296+ ('index', 'idris.tex', u'Documentation for the Idris Language', u'The Idris Community', 'report')
297+]
298+
299+
300+latex_show_pagerefs = True
301+latex_show_url = 'footnote'
242302
243303# The name of an image file (relative to this directory) to place at the top of
244304# the title page.
245−#latex_logo = None
305+latex_logo = '../icons/idris-512x512.png'
246306
247307# For "manual" documents, if this is true, then toplevel headings are parts,
248308# not chapters.