diff options
| author | Philippe Mathieu-Daudé | 2019-07-11 14:06:09 +0200 |
|---|---|---|
| committer | Alex Bennée | 2019-07-23 16:53:25 +0200 |
| commit | 6d7b9c8c064bee8ff7974c36af2f73d3ee3b9a70 (patch) | |
| tree | 260c9c3379c3696e20e2658bff23aabd9248b40a /scripts/switch-timer-api | |
| parent | tests/docker: add test-misc for building tools & docs (diff) | |
| download | qemu-6d7b9c8c064bee8ff7974c36af2f73d3ee3b9a70.tar.gz qemu-6d7b9c8c064bee8ff7974c36af2f73d3ee3b9a70.tar.xz qemu-6d7b9c8c064bee8ff7974c36af2f73d3ee3b9a70.zip | |
tests/docker: Install Sphinx in the Ubuntu images
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>
Message-Id: <20190711120609.12773-1-philmd@redhat.com>
Signed-off-by: Alex Bennée <alex.bennee@linaro.org>
Reviewed-by: Stefano Garzarella <sgarzare@redhat.com>
Diffstat (limited to 'scripts/switch-timer-api')
0 files changed, 0 insertions, 0 deletions