diff options
| author | Mike Gilbert <floppym@gentoo.org> | 2022-01-05 12:00:25 -0500 |
|---|---|---|
| committer | Matthias Maier <tamiko@gentoo.org> | 2022-01-05 11:31:28 -0600 |
| commit | 0ff4dda9b607bb69be897dd00c5c8bb5adf85fe3 (patch) | |
| tree | 82366d4309606cf540e65d8c1c572d4ef36446f3 /dev-python/GitPython | |
| parent | 53bb1f22184675a052d316de23e164c871454749 (diff) | |
| download | gentoo-0ff4dda9b607bb69be897dd00c5c8bb5adf85fe3.tar.gz gentoo-0ff4dda9b607bb69be897dd00c5c8bb5adf85fe3.tar.bz2 gentoo-0ff4dda9b607bb69be897dd00c5c8bb5adf85fe3.zip | |
app-emulation/qemu: avoid building docs more than once
We always build tools, so that seems like a good place to build docs.
Also, there are some docs that only get built when tools are enabled.
Closes: https://github.com/gentoo/gentoo/pull/23660
Signed-off-by: Mike Gilbert <floppym@gentoo.org>
Signed-off-by: Matthias Maier <tamiko@gentoo.org>
Diffstat (limited to 'dev-python/GitPython')
0 files changed, 0 insertions, 0 deletions