diff options
author | Martin Roth <gaumless@gmail.com> | 2023-05-29 23:06:52 -0600 |
---|---|---|
committer | Martin L Roth <gaumless@gmail.com> | 2023-06-02 22:16:59 +0000 |
commit | 3b89102935d08fa325f613312c688315417254c6 (patch) | |
tree | 64829f08d7d72cbbc768ca44c507bd416113c74a /.gitmodules | |
parent | 5a4cedb9c1ddebd051c61cdbae420c59732f63d0 (diff) |
Docs: Add sphinx to the documentation's "all" target
The all target really should build the expected output. At this point,
that means sphinx as well.
Signed-off-by: Martin Roth <gaumless@gmail.com>
Change-Id: Ibbceddd013605f5f7e11707480ae2a1e5d012a91
Reviewed-on: https://review.coreboot.org/c/coreboot/+/75498
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Elyes Haouas <ehaouas@noos.fr>
Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de>
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions