[tor-bugs] #19381 [Core Tor/Tor]: wish: conditionally build man page (tor.1) and html doc using independent configure options
Tor Bug Tracker & Wiki
blackhole at torproject.org
Sat Jun 11 18:26:30 UTC 2016
#19381: wish: conditionally build man page (tor.1) and html doc using independent
configure options
--------------------------+------------------------
Reporter: toralf | Owner: atagar
Type: enhancement | Status: new
Priority: Medium | Milestone:
Component: Core Tor/Tor | Version:
Severity: Minor | Resolution:
Keywords: | Actual Points:
Parent ID: | Points:
Reviewer: | Sponsor:
--------------------------+------------------------
Changes (by atagar):
* component: Core Tor/DocTor => Core Tor/Tor
Comment:
DocTor is the monitoring framework - sending this on to Nick.
--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/19381#comment:2>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online
More information about the tor-bugs
mailing list