git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3474 from owickstrom/master
5a2f5a4Niklas Larsson
docs/conf.py+68−7
compare with master
unifiedsplit
@@ -216,15 +216,75 @@ htmlhelp_basename = 'IdrisManualdoc'
216
216
217# -- Options for LaTeX output ---------------------------------------------
217# -- Options for LaTeX output ---------------------------------------------
218
218
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+
219latex_elements = {
233latex_elements = {
220# The paper size ('letterpaper' or 'a4paper').
234# The paper size ('letterpaper' or 'a4paper').
221'papersize': 'a4paper',
235'papersize': 'a4paper',
222
236
237+'fontpkg': '',
238+'inputenc': '',
239+'utf8extra': '',
240+'releasename': 'Version',
241+
223# The font size ('10pt', '11pt' or '12pt').
242# The font size ('10pt', '11pt' or '12pt').
224'pointsize': '10pt',
243'pointsize': '10pt',
225
244
226# Additional stuff for the LaTeX preamble.
245# 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+\definecolor{VerbatimBorderColor}{rgb}{1,1,1}
285+''',
286+
287+'maketitle': latex_title_page
228
288
229# Latex figure (float) alignment
289# Latex figure (float) alignment
230#'figure_align': 'htbp',
290#'figure_align': 'htbp',
@@ -234,15 +294,16 @@ latex_elements = {
234# (source start file, target name, title,
294# (source start file, target name, title,
235# author, documentclass [howto, manual, or own class]).
295# author, documentclass [howto, manual, or own class]).
236latex_documents = [
296latex_documents = [
237− ('tutorial/index', 'idris-tutorial.tex', u'The Idris Tutorial', u'The Idris Community', 'manual'),
297+ ('index', 'idris.tex', u'Documentation for the Idris Language', u'The Idris Community', 'report')
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− ]
298+]
299+
300+
301+latex_show_pagerefs = True
302+latex_show_url = 'footnote'
242
303
243# The name of an image file (relative to this directory) to place at the top of
304# The name of an image file (relative to this directory) to place at the top of
244# the title page.
305# the title page.
245−#latex_logo = None
306+latex_logo = '../icons/idris-512x512.png'
246
307
247# For "manual" documents, if this is true, then toplevel headings are parts,
308# For "manual" documents, if this is true, then toplevel headings are parts,
248# not chapters.
309# not chapters.