Use different file instead of ifconfig

Unfortunately, Sphinx did not regard ifconfig when parsing the toc,
so it could not be used. Instead, we simply copy a different file.

docs/conf.py

@@ -14,6 +14,7 @@
 import sys
 import os
 import shlex
+import shutil
 
 # Import Cloud theme (this will also automatically add the theme directory).
 # Note: We add a navigation bar to the cloud them using a custom layout.
@@ -27,6 +28,8 @@
     except ImportError:
         use_cloud_theme = False
 
+shutil.copyfile('start.txt' if use_cloud_theme else 'toc.txt', 'index.rst')
+
 # If extensions (or modules to document with autodoc) are in another directory,
 # add these directories to sys.path here. If the directory is relative to the
 # documentation root, use os.path.abspath to make it absolute, like shown here.
@@ -142,7 +145,9 @@
 
 # The name for this set of Sphinx documents.  If None, it defaults to
 # "<project> v<release> documentation".
-html_title = None if use_cloud_theme else 'PyGreSQL %s' % version
+html_title = 'PyGreSQL %s' % version
+if use_cloud_theme:
+    html_title += ' documentation'
 
 # A shorter title for the navigation bar.  Default is the same as html_title.
 #html_short_title = None

docs/index.rst

@@ -1,29 +1,15 @@
-.. PyGreSQL documentation master file
+.. PyGreSQL index page without toc (for use with cloud theme)
 
 Welcome to PyGreSQL
 ===================
 
-.. ifconfig:: html_theme != 'cloud'
+.. toctree::
+    :hidden:
 
-    .. toctree::
-        :maxdepth: 2
+    copyright
+    announce
+    download/index
+    contents/index
+    community/index
 
-        about
-        copyright
-        announce
-        download/index
-        contents/index
-        community/index
-
-.. ifconfig:: html_theme == 'cloud'
-
-    .. toctree::
-        :hidden:
-
-        copyright
-        announce
-        download/index
-        contents/index
-        community/index
-
-    .. include:: about.txt
+.. include:: about.txt

docs/start.txt

@@ -0,0 +1,15 @@
+.. PyGreSQL index page without toc (for use with cloud theme)
+
+Welcome to PyGreSQL
+===================
+
+.. toctree::
+    :hidden:
+
+    copyright
+    announce
+    download/index
+    contents/index
+    community/index
+
+.. include:: about.txt

docs/toc.txt

@@ -0,0 +1,14 @@
+.. PyGreSQL index page with toc (for use without cloud theme)
+
+Welcome to PyGreSQL
+===================
+
+.. toctree::
+    :maxdepth: 2
+
+    about
+    copyright
+    announce
+    download/index
+    contents/index
+    community/index