Re: ditaa --svg option is missing when building doc/src/sgml/images

> On 22 Dec 2025, at 13:35, Nazir Bilal Yavuz <byavuz81(at)gmail(dot)com> wrote:
> On Fri, 19 Dec 2025 at 18:39, Paul A Jungwirth
> <pj(at)illuminatedcomputing(dot)com> wrote:
>>
>> On Fri, Dec 19, 2025 at 5:52 AM Nazir Bilal Yavuz <byavuz81(at)gmail(dot)com> wrote:

>>> If I am not missing anything, what do you think about updating this
>>> URL with the github URL [3]?

Updating a sourceforge URL with a Github repo abandoned 5 years ago, what a
time to be alive =)

> It looks like brew ditaa is also v0.11.0 [1].
>
> After thinking a bit more, I think it would be better to add version
> requirement information too; something like:
>
> -- Ditaa (http://ditaa.sourceforge.net/)
> +- Ditaa (https://github.com/stathissideris/ditaa) (version 0.11.0 or
> + later)

Agreed, since we require a spefic version we should mention to assist users. I
will go make this happen in a bit.

--
Daniel Gustafsson