Merge pull request #4825 from jfdm/doc-fixes

Fix Readthedocs PDF generation
idris-lang · Mar 10, 2020 · 853e453 · 853e453
2 parents b7a191b + c76ade1
commit 853e453
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -301,8 +301,8 @@
 # (source start file, target name, title,
 #  author, documentclass [howto, manual, or own class]).
 latex_documents = [
-    (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'),
+    # (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'),
 ]