Detect sphinx theme directly in conf.py.in file (additional commit)

diff --git a/doc/salome/gui/conf.py.in b/doc/salome/gui/conf.py.in
index 8a6e003f0bfe6134d32f119fc2659b444c3557fb..fb4fa70947e0a338c58e1d23e481fa0fbf1ca050 100644 (file)
--- a/doc/salome/gui/conf.py.in
+++ b/doc/salome/gui/conf.py.in
@@ -12,6 +12,7 @@
 # serve to show the default.
 
 import sys, os
+import sphinx
 
 # If your extensions are in another directory, add it here. If the directory
 # is relative to the documentation root, use os.path.abspath to make it