Reuse Sphinx environment again
authorPaul Bauer <paul.bauer.q@gmail.com>
Wed, 2 Jan 2019 13:13:55 +0000 (14:13 +0100)
committerPaul Bauer <paul.bauer.q@gmail.com>
Mon, 7 Jan 2019 12:41:27 +0000 (13:41 +0100)
commit72a7e1290d2eb68fde950e8a64b3dff50b22baa9
treede2ae9ead4a97eeccb4a937bf2e05f529c53b1bb
parent0823a1e2e659195d7ff79e30926d2c2a0fbc000b
Reuse Sphinx environment again

Enabled the reuse of the sphinx environment again.
Fixed issue with build order for webpage and manual, and fixed minor
link error in user-guide.

Change-Id: I12c7fa1c2e93c3bcb92db85ba526c8cd65dd6339
docs/CMakeLists.txt
docs/manual/CMakeLists.txt
docs/user-guide/mdp-options.rst