@@ -301,8 +301,8 @@ latex_elements = {
301# (source start file, target name, title,
301# (source start file, target name, title,
302# author, documentclass [howto, manual, or own class]).
302# author, documentclass [howto, manual, or own class]).
303latex_documents = [
303latex_documents = [
304− (master_doc, 'idris.tex', u'Documentation for the Idris Language', u'The Idris Community', 'report')
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'),
305+ ('tutorial/index', 'idris-tutorial.tex', u'The Idris Tutorial', u'The Idris Community', 'howto'),