CACHE STRING "additional sphinx-build command line options")
set(SPHINX_THEME "sphinx_rtd_theme"
CACHE STRING "sphinx HTML theme")
CACHE STRING "additional sphinx-build command line options")
set(SPHINX_THEME "sphinx_rtd_theme"
CACHE STRING "sphinx HTML theme")
CACHE STRING "sphinx HTML theme options")
set(SPHINX_EXTENSIONS ""
CACHE STRING "comma separated list of quoted sphinx extensions")
CACHE STRING "sphinx HTML theme options")
set(SPHINX_EXTENSIONS ""
CACHE STRING "comma separated list of quoted sphinx extensions")