diff -r 2afc9b5aab17 -r bb8bf2688d7e doc/conf.py
--- a/doc/conf.py	Wed Oct 02 05:30:19 2013 +0200
+++ b/doc/conf.py	Sat Oct 05 14:36:29 2013 +0200
@@ -59,7 +59,7 @@
 
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.
-#language = None
+language = 'fr'
 
 # There are two options for replacing |today|: either, you set today to some
 # non-false value, then it is used:
@@ -155,13 +155,13 @@
 #html_domain_indices = True
 
 # If false, no index is generated.
-#html_use_index = True
+html_use_index = False
 
 # If true, the index is split into individual pages for each letter.
 #html_split_index = False
 
 # If true, links to the reST sources are added to the pages.
-#html_show_sourcelink = True
+html_show_sourcelink = False
 
 # If true, "Created using Sphinx" is shown in the HTML footer. Default is True.
 #html_show_sphinx = True