On 2023-02-20 19:43:56 +0100, Peter Eisentraut wrote: > I don't think any callers try to copy a directory source, so the > shutil.copytree() stuff isn't necessary.
I'd like to use it for installing docs outside of the normal install target. Of course we could add the ability at a later point, but that seems a bit pointless back-forth to me.
