GNU bug report logs - #67261
[PATCH 0/3] Update u-boot to 2023.10.

Previous Next

Full log

View this message in rfc822 format

From: Lars-Dominik Braun <lars <at> 6xq.net>
To: Vagrant Cascadian <vagrant <at> debian.org>
Cc: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>, Munyoki Kilyungi <me <at> bonfacemunyoki.com>, Efraim Flashner <efraim <at> flashner.co.il>, Herman Rimm <herman <at> rimm.ee>, jgart <at> dismail.de, 67261 <at> debbugs.gnu.org, Marius Bakke <marius <at> gnu.org>
Subject: [bug#67261] [PATCH v2] gnu: u-boot: Update to 2023.10.
Date: Sat, 2 Dec 2023 08:11:25 +0100

Hi,

> In order to get u-boot-documentation to build, I had to add
> python-sphinx-prompt, and in order to get python-sphinx-prompt to build,
> I needed to disable tests. Can someone from the python team take a look
> at python-sphinx-prompt?

this should be fixed.

> python-sphinx-rtd-theme is an optional dependency for the documentation,
> but it does build without it. I am not sure how much nicer it is with or
> without it. Any opinions on enabling that or using the default theme?

If it builds with the theme (i.e. there’s no reason to disable that
dependency), why not use it?

Lars

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.