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

 * milestone:   => website redesign


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