Since help falls back to the online documentation it should be ok to not build it.
—You are receiving this because you are subscribed to this thread.Reply to this email directly, view it on GitHub, or unsubscribe.