[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:
Component:  Webpages/Website  |        Version:
 Severity:  Normal            |     Resolution:
 Keywords:  website-bug       |  Actual Points:
Parent ID:                    |         Points:
 Reviewer:                    |        Sponsor:
------------------------------+--------------------------
Changes (by hiro):

 * status:  new => assigned
 * keywords:   => website-bug
 * owner:  arthuredelstein => hiro


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