[tor-commits] [tor/master] Document --dump-config.

[nickm at torproject.org]

commit 6d9db29ddae9e4086e878ed049c5fc91304db761
Author: Nick Mathewson <nickm at torproject.org>
Date:   Tue Nov 12 07:45:53 2019 -0500

    Document --dump-config.
    
    Closes ticket 32467.
---
 changes/ticket32467 | 3 +++
 doc/tor.1.txt       | 7 +++++++
 2 files changed, 10 insertions(+)

diff --git a/changes/ticket32467 b/changes/ticket32467
new file mode 100644
index 000000000..8cbb23812
--- /dev/null
+++ b/changes/ticket32467
@@ -0,0 +1,3 @@
+  o Documentation:
+    - Describe the --dump-config command in the manual page. Closes ticket
+      32467.
diff --git a/doc/tor.1.txt b/doc/tor.1.txt
index a3c05961e..b2f6f59ca 100644
--- a/doc/tor.1.txt
+++ b/doc/tor.1.txt
@@ -96,6 +96,13 @@ The following options in this section are only recognized on the
 [[opt-verify-config]] **`--verify-config`**::
     Verify whether the configuration file is valid.
 
+[[opt-dump-config]] **`--dump-config`** **`short`**|**`full`**|**`non-builtin`**::
+    Write a complete list of Tor's configured options to standard output.
+    When the `short` flag is selected, only write the options that
+    are different from their default values.  When `non-builtin` is selected,
+    write options that are not zero or the empty string.
+    When `full` is selected, write every option.
+
 [[opt-serviceinstall]] **`--service install`** [**`--options`** __command-line options__]::
     Install an instance of Tor as a Windows service, with the provided
     command-line options. Current instructions can be found at