[tor-commits] [websocket/master] add an optional target to build a man page.