I didn't check the code, but IIRC we meant to do this. We are happy without the tool only if they documentation is already built (like in a tarball). IIRC it was to avoid the case where the help wouldn't work.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.