Add documentation for Texinfo builder

1 files changed, 6 insertions, 0 deletions

diff --git a/doc/conf.py b/doc/conf.py
index b3a1cda79..dd23b0812 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -64,6 +64,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)}