Add some dollar signs in an attempt to appease older asciidocs

We should really require a modern asiidoc: backporting stuff to 8.2 is
a timesink.

diff --git a/doc/tor.1.txt b/doc/tor.1.txt
index 033f0a28e1ae7256884edd2d8b5b93009d602921..8b8fd202bf09e1827e8add1532a3ab97ce3cfde6 100644 (file)
--- a/doc/tor.1.txt
+++ b/doc/tor.1.txt
@@ -330,7 +330,7 @@ Other options can be specified either on the command-line (--option
     set of "logging domains".  Each logging domain corresponds to an area of
     functionality inside Tor.  You can specify any number of severity ranges
     for a single log statement, each of them prefixed by a comma-separated
-    list of logging domains.  You can prefix a domain with ~ to indicate
+    list of logging domains.  You can prefix a domain with $$~$$ to indicate
     negation, and use * to indicate "all domains".  If you specify a severity
     range without a list of domains, it matches all domains. +
  +