Change to modules for build of web documentation
commited7815ed533af3b19cc22e2664aee0a4962ec45a
authorPaul Bauer <paul.bauer.q@gmail.com>
Mon, 9 Oct 2017 07:48:51 +0000 (9 09:48 +0200)
committerMark Abraham <mark.j.abraham@gmail.com>
Wed, 11 Oct 2017 13:47:31 +0000 (11 15:47 +0200)
tree394a12da8d932b92d57637c07555b0bb47685c5a
parent4231cc373606f0228a85d09e3d29ff0721b7d909
Change to modules for build of web documentation

The modules loaded to build the web documentation with Sphinx have been
incorrect for the minimum version specified by the configuration file.
In particular, the imgmath extension had not been available for
version 1.3 that was indicated as being the minimum version. As
there are no references that I found to any math macros in the files
used to build the docs, I removed the extension to make sure it will
build again. It might be better to have a conditional there, building the
docs without imgmath when using lower versions of sphinx, and having it
active for higher versions.

Changed to require 1.4.1 for now, and added variables that set it
automatically from the information passed to cmake.

Change-Id: Ia329575288e5d622b8e679d76b63759bae54a3b0
docs/CMakeLists.txt
docs/conf-vars.py.cmakein
docs/conf.py
docs/dev-manual/tools.rst