[tor-bugs] #19683 [User Experience/Website]: Add flag to allow building website without tor docs

[Tor Bug Tracker & Wiki]

#19683: Add flag to allow building website without tor docs
-----------------------------------------+-----------------------------
     Reporter:  arthuredelstein          |      Owner:  arthuredelstein
         Type:  defect                   |     Status:  new
     Priority:  Medium                   |  Milestone:
    Component:  User Experience/Website  |    Version:
     Severity:  Normal                   |   Keywords:
Actual Points:                           |  Parent ID:
       Points:                           |   Reviewer:
      Sponsor:                           |
-----------------------------------------+-----------------------------
 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.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/19683>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online