Make whole documentation available as PDF in RTD

Read The Docs shows only one PDF file, we currently produce multiple
ones (which we'd like to keep). Generate one more "master" document
which contains all other content.

The only "problem" is that the top-level section is always a chapter,
i.e. what is a section in the master document is a chapter in the
individual documents.

Author: imphil

src/conf.py

@@ -150,9 +150,6 @@
 # (source start file, target name, title,
 #  author, documentclass [howto, manual, or own class]).
 latex_documents = [
-#    (master_doc, 'opensocdebug.tex', u'Open SoC Debug Documentation Library',
-#     u'The Open SoC Debug Contributors', 'manual'),
-
     ('01_overview/index', 'osd-overview.tex', u'Open SoC Debug Overview',
      u'The Open SoC Debug Contributors', 'manual'),
 
@@ -165,6 +162,11 @@
     ('04_implementer/index', 'osd-implementerguide.tex',
      u'Open SoC Debug Implementer Guides',
      u'The Open SoC Debug Contributors', 'manual'),
+
+    # The last document is the one and only one made available by RTD
+    (master_doc, 'opensocdebug.tex',
+     u'Open SoC Debug Documentation Library',
+     u'The Open SoC Debug Contributors', 'manual'),
 ]
 
 latex_toplevel_sectioning = 'chapter'