ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-10-26 09:54:23 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #4823 from jfdm/doc-fixes

Browse Source 
Minor fix to latex sphinx build configuration.
This commit is contained in:
Jan de Muijnck-Hughes 2020-03-10 14:20:32 +00:00 committed by GitHub
commit b7a191bbf3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
docs/conf.py
View File

@ -251,6 +251,7 @@ latex_elements = {
# Additional stuff for the LaTeX preamble.
'preamble': r'''
\usepackage{lmodern}
\usepackage{textalpha}
\usepackage[T1]{fontenc}
\usepackage[utf8x]{inputenc}
\usepackage{titlesec}
@ -300,8 +301,8 @@ latex_elements = {
# (source start file, target name, title,
# author, documentclass [howto, manual, or own class]).
latex_documents = [
('index', 'idris-documentation-complete.tex', u'Documentation for the Idris Language', u'The Idris Community', 'report'),
('tutorial/index', 'idris-tutorial.tex', u'The Idris Tutorial', u'The Idris Community', 'howto'),
(master_doc, 'idris.tex', u'Documentation for the Idris Language', u'The Idris Community', 'report')
, ('tutorial/index', 'idris-tutorial.tex', u'The Idris Tutorial', u'The Idris Community', 'howto'),
]

BIN
idris-tutorial.pdf
View File

Binary file not shown.