4 Dec
2018
4 Dec
'18
8:13 a.m.
commit 8908043010c23bdd81cab22f440fb14e21fad793 Author: juga0 juga@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