Add flag to allow building website without tor docs
It's pretty complicated to build the website, because you need to clone the tor repo and build the tor docs first. It would be nice if we could build the website with tor docs disabled.
It's pretty complicated to build the website, because you need to clone the tor repo and build the tor docs first. It would be nice if we could build the website with tor docs disabled.