[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:  assigned
 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):

 * owner:  hiro => arthuredelstein
 * status:  needs_information => assigned


Comment:

 (my question was meant to be directed to the reporter of this ticket)

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