Hi Samuel, On Tue, Jan 26, 2021 at 10:10:18PM +0100, Samuel Thibault wrote: > Ah, that is unexpected actually, we do want to rebuild the > documentation. Is that part a problem for loops?
I actually don't know. The list is so long that I'm having a hard time figuring anything. So at first I just look into removing no-impact edges as much as possible. I also prefer actually rebuilding the documentation. Maybe w3m can also be moved to b-d-i though? Consider the bug here being an unused dependency. Dropping it is a solution as is using it. Helmut