[tor-wiki-changes] doc/TorBOX/Dev/BuildDocumentation edited

[Tor Bug Tracker & Wiki]

Fix. 

[(diff)][1]

   [1]: https://trac.torproject.org/projects/tor/wiki/doc/TorBOX/Dev/BuildDocumentation?action=diff&version=128

URL: https://trac.torproject.org/projects/tor/wiki/doc/TorBOX/Dev/BuildDocumentation?version=128