[PATCH v2] docs: remove html dir from nested docs

[Thomas Monjalon]

27/11/2024 12:41, Paul Szczepanek:
> +    # don't append html dir if dst is already nested in one but first
> +    # remove the part of the path outside the tree in case html dir exists there
> +    rel_path = os.path.relpath(dst, os.path.dirname(__file__))
> +    html_dst = dst if 'html' in rel_path else join(dst, 'html')

What happens if the build directory is a completely different path
of the source tree?
Is there a risk of having the build directory inside a tree having /html/?