[tor-commits] [tor/maint-0.3.0] #21720: Update "directory server options" preamble in manpage

[nickm at torproject.org]

commit 92813941b5f467b878485eb3c141c59f48736847
Author: Nick Mathewson <nickm at torproject.org>
Date:   Tue Mar 14 11:25:54 2017 -0400

    #21720: Update "directory server options" preamble in manpage
---
 changes/bug21720 | 5 +++++
 doc/tor.1.txt    | 5 +++--
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/changes/bug21720 b/changes/bug21720
new file mode 100644
index 0000000..6d2fbcf
--- /dev/null
+++ b/changes/bug21720
@@ -0,0 +1,5 @@
+  o Documentation:
+    - Update the description of the directory server options in the manual
+      page, to clarify that DirPort is no longer necessary to be a directory
+      cache.  Closes ticket 21720.
+
diff --git a/doc/tor.1.txt b/doc/tor.1.txt
index de2e2b4..1665cfe 100644
--- a/doc/tor.1.txt
+++ b/doc/tor.1.txt
@@ -2121,8 +2121,9 @@ is non-zero):
 DIRECTORY SERVER OPTIONS
 ------------------------
 
-The following options are useful only for directory servers (that is,
-if DirPort is non-zero):
+The following options are useful only for directory servers. (Relays with
+enough bandwidth automatically become directory servers; see DirCache for
+details.)
 
 [[DirPortFrontPage]] **DirPortFrontPage** __FILENAME__::
     When this option is set, it takes an HTML file and publishes it as "/" on