Merge pull request #4823 from jfdm/doc-fixes

Minor fix to latex sphinx build configuration.
idris-lang · Mar 10, 2020 · b7a191b · b7a191b
2 parents bbd0f28 + bc8926c
commit b7a191b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -251,6 +251,7 @@
 # Additional stuff for the LaTeX preamble.
 'preamble': r'''
 \usepackage{lmodern}
+\usepackage{textalpha}
 \usepackage[T1]{fontenc}
 \usepackage[utf8x]{inputenc}
 \usepackage{titlesec}
@@ -300,8 +301,8 @@
 # (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'),
 ]
 
 

diff --git a/idris-tutorial.pdf b/idris-tutorial.pdf