[tor-bugs] #19683 [Webpages/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:  needs_information
 Priority:  Medium            |      Milestone:  website redesign
Component:  Webpages/Website  |        Version:
 Severity:  Normal            |     Resolution:
 Keywords:  website-bug       |  Actual Points:
Parent ID:                    |         Points:
 Reviewer:                    |        Sponsor:
------------------------------+-----------------------------------
Changes (by traumschule):

 * status:  assigned => needs_information


Comment:

 Finally realized this makes no sense, reverting latest change.

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