diff options
| author | Peter Maydell <peter.maydell@linaro.org> | 2019-02-28 14:56:22 +0000 |
|---|---|---|
| committer | Peter Maydell <peter.maydell@linaro.org> | 2019-03-05 12:44:01 +0000 |
| commit | ae80b868689a11460e2421fcf51d21b983a1916b (patch) | |
| tree | 25ae8a7f677b7882539977b9220d299023fb5413 /docs/conf.py | |
| parent | cd8257d4b48fed25c014a1577864f7adc22926cf (diff) | |
Makefile, configure: Support building rST documentation
Add support to our configure and makefile machinery for building
our rST docs into HTML files.
Building the documentation now requires that sphinx-build is
available; this seems better than allowing half the docs to
be built if it is not present but having half of them missing.
(In particular it means that assuming that distros configured with
--enable-docs they'll get a helpful error from configure telling
them the new build dependency.)
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Tested-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Acked-by: Aleksandar Markovic <amarkovic@wavecomp.com>
Message-id: 20190228145624.24885-10-peter.maydell@linaro.org
Diffstat (limited to 'docs/conf.py')
0 files changed, 0 insertions, 0 deletions