gsl-shell.git - gsl-shell

diff --git a/doc/user-manual/conf.py b/doc/user-manual/conf.py
index 5a5306d2..0326f9b7 100644
--- a/doc/user-manual/conf.py
+++ b/doc/user-manual/conf.py

@@ -215,6 +215,7 @@ man_pages = [

[u'Francesco Abbate'], 1)

]

+texinfo_documents = [('index', 'gslshell', 'GSL Shell 2', 'Francesco', 'GSL Shell', 'Interactive GSL shell', 'Math', True)]

# Example configuration for intersphinx: refer to the Python standard library.

# intersphinx_mapping = {'gslshell': ('http://www.nongnu.org/gsl-shell/', 'gslshell-index.inv')}