Julien Palard <julien+pyt...@palard.fr> added the comment: I'd prefer to understand exacly what is going wrong and fix it, but I agree it would fix the issue and even fix the other hypothesis, so I don't exclude doing it, even if I find the root cause.
I'm currently doing a full build locally (I previously tried building using the Doc/Makefile, was unable to reproduce the bug, I'm now building using the build_docs.py script) it will take like an hour on my laptop, I'll see. ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue31584> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
