[tor-bugs] #22347 [Core Tor/Tor]: document key-pinning-journal file in man page

[Tor Bug Tracker & Wiki]

#22347: document key-pinning-journal file in man page
------------------------------+--------------------------------
     Reporter:  arma          |      Owner:
         Type:  defect        |     Status:  new
     Priority:  Medium        |  Milestone:  Tor: 0.3.1.x-final
    Component:  Core Tor/Tor  |    Version:
     Severity:  Normal        |   Keywords:
Actual Points:                |  Parent ID:
       Points:                |   Reviewer:
      Sponsor:                |
------------------------------+--------------------------------
 At the bottom of the Tor man page are a set of files that can be in the
 datadirectory.

 Apparently there's a new one called key-pinning-journal for directory
 authorities. We should list it in the man page and say what it is.

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