diff options
| author | Philippe Mathieu-Daudé | 2019-07-11 12:27:10 +0200 |
|---|---|---|
| committer | Alex Bennée | 2019-07-23 16:53:25 +0200 |
| commit | 8109b7986a6a5ba62bd6335e10824e6b9d189efd (patch) | |
| tree | 99511240040eaf083e2d70664152820880615f17 /include/exec | |
| parent | tests/docker: Install Sphinx in the Ubuntu images (diff) | |
| download | qemu-8109b7986a6a5ba62bd6335e10824e6b9d189efd.tar.gz qemu-8109b7986a6a5ba62bd6335e10824e6b9d189efd.tar.xz qemu-8109b7986a6a5ba62bd6335e10824e6b9d189efd.zip | |
tests/docker: Install Sphinx in the Fedora image
Since commit 5f71eac06e the Sphinx tool is required
to build the rST documentation.
This fixes:
$ ./configure --enable-docs
ERROR: User requested feature docs
configure was not able to find it.
Install texinfo, Perl/perl-podlators and python-sphinx
Signed-off-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Message-Id: <20190711102710.2263-1-philmd@redhat.com>
[AJB: also add /usr/libexec/python3-sphinx/ to PATH]
Signed-off-by: Alex Bennée <alex.bennee@linaro.org>
Diffstat (limited to 'include/exec')
0 files changed, 0 insertions, 0 deletions