commit 8908043010c23bdd81cab22f440fb14e21fad793
Author: juga0 <j...@riseup.net>
Date:   Sat Nov 24 10:27:46 2018 +0000

    CI: build the man pages from docs
---
 tox.ini | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tox.ini b/tox.ini
index 8f55aed..af89ea8 100644
--- a/tox.ini
+++ b/tox.ini
@@ -84,3 +84,4 @@ commands =
     # make latexpdf
     # this requires network
     # make linkcheck
+    make man



_______________________________________________
tor-commits mailing list
tor-commits@lists.torproject.org
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits

Reply via email to