@@ -301,8 +301,8 @@ latex_elements = {
301301# (source start file, target name, title,
302302# author, documentclass [howto, manual, or own class]).
303303latex_documents = [
304− (master_doc, 'idris.tex', u'Documentation for the Idris Language', u'The Idris Community', 'report')
305− , ('tutorial/index', 'idris-tutorial.tex', u'The Idris Tutorial', u'The Idris Community', 'howto'),
304+ # (master_doc, 'idris.tex', u'Documentation for the Idris Language', u'The Idris Community', 'report')
305+ ('tutorial/index', 'idris-tutorial.tex', u'The Idris Tutorial', u'The Idris Community', 'howto'),
306306]
307307
308308