1 files changed, 6 insertions, 0 deletions
diff --git a/doc/conf.py b/doc/conf.py
index aecd4f6d..6322f794 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -63,6 +63,12 @@ man_pages = [
      'template generator', '', 1),
 ]
 
+texinfo_documents = [
+    ('contents', 'sphinx', 'Sphinx Documentation', 'Georg Brandl',
+     'Sphinx', 'The Sphinx documentation builder.', 'Documentation tools',
+     1),
+]
+
 # We're not using intersphinx right now, but if we did, this would be part of
 # the mapping:
 intersphinx_mapping = {'python': ('http://docs.python.org/dev', None)}