On 3/5/19 9:21 AM, Peter Maydell wrote: > 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 <[email protected]> > Reviewed-by: Philippe Mathieu-Daudé <[email protected]> > Tested-by: Philippe Mathieu-Daudé <[email protected]> > Acked-by: Aleksandar Markovic <[email protected]> > Message-id: [email protected] > --- > configure | 15 +++++++++++++-- > Makefile | 45 ++++++++++++++++++++++++++++++++++++++++++--- > .gitignore | 1 + > 3 files changed, 56 insertions(+), 5 deletions(-)
Reviewed-by: Richard Henderson <[email protected]> r~
