[PATCH 4/7] doc: make pdfdocs: Ensure SVG files are converted to PDF before the compilation of *.tex files

[Adriano Carvalho]

On Mon, 25 Aug 2025 at 23:46, Adriano Carvalho
<adrianocarvalho.pt at gmail.com> wrote:
> [...]
> +              'sphinx_reredirects', 'sphinx.ext.autodoc',
> +              'sphinx_reredirects', 'sphinx.ext.autodoc',
> [...]

Even though it does no harm, this is a bug. I'll fix that in the next
revision. Sorry about that.