Add sphinx-intl tool

diff --git a/cmake/FindSphinx.cmake b/cmake/FindSphinx.cmake
index 9914763e044a1f09b70b7bbbf9d29af0140e24b4..9da27efce66df2d593fd9733314a25d5320c788d 100644 (file)
--- a/cmake/FindSphinx.cmake
+++ b/cmake/FindSphinx.cmake
@@ -33,6 +33,10 @@ FIND_PROGRAM(SPHINX_EXECUTABLE
 FIND_PROGRAM(SPHINX_APIDOC_EXECUTABLE
              NAMES sphinx-apidoc sphinx-apidoc-${PYTHON_VERSION_MAJOR}.${PYTHON_VERSION_MINOR}
             PATH_SUFFIXES Scripts)
+FIND_PROGRAM(SPHINX_INTL_EXECUTABLE
+             NAMES sphinx-intl sphinx-intl-${PYTHON_VERSION_MAJOR}.${PYTHON_VERSION_MINOR}
+            PATH_SUFFIXES Scripts)
+
 
 # Get root dir locally, going up two levels from the exec:
 GET_FILENAME_COMPONENT(_tmp_ROOT_DIR "${SPHINX_EXECUTABLE}" PATH)