# HG changeset patch
# User Amine Sehili <amine.sehili@gmail.com>
# Date 1449051387 -3600
# Node ID 3609351078ceea91e6f5ce57a942a50c987a813f
# Parent  d28d94bf6b39ce58364fab9a1e6ca8729870d1cb
doc update

diff -r d28d94bf6b39 -r 3609351078ce doc/conf.py
--- a/doc/conf.py	Wed Dec 02 11:10:54 2015 +0100
+++ b/doc/conf.py	Wed Dec 02 11:16:27 2015 +0100
@@ -112,9 +112,9 @@
 
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
-html_theme = 'sphinxdoc'
+#html_theme = 'sphinxdoc'
 
-"""
+
 # on_rtd is whether we are on readthedocs.org
 import os
 on_rtd = os.environ.get('READTHEDOCS', None) == 'True'
@@ -123,7 +123,7 @@
     import sphinx_rtd_theme
     html_theme = 'sphinx_rtd_theme'
     html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
-"""
+
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the
 # documentation.