Minor corrections

diff --git a/doc/en/conf.py b/doc/en/conf.py
index d8e4f82f762ed88094182c68a418ecc37c29765c..6bc99d0d68ae88b048e3f62208dbb39c5333a272 100644 (file)
--- a/doc/en/conf.py
+++ b/doc/en/conf.py
@@ -99,6 +99,7 @@ else:
 html_title       = doctitle
 html_static_path = ['_static']
 html_show_sourcelink = False
+html_search_language = language
 
 # -- Options for HTMLHelp output -----------------------------------------------
 htmlhelp_basename = 'ADAOdoc'

diff --git a/doc/fr/conf.py b/doc/fr/conf.py
index e0dffd40f2880aabb2dccf05fa3dce9d028d13b2..39371cf34e5b9627e5ba446ab2df6caef0343d2f 100644 (file)
--- a/doc/fr/conf.py
+++ b/doc/fr/conf.py
@@ -99,6 +99,7 @@ else:
 html_title       = doctitle
 html_static_path = ['_static']
 html_show_sourcelink = False
+html_search_language = language
 
 # -- Options for HTMLHelp output -----------------------------------------------
 htmlhelp_basename = 'ADAOdoc'