Fri, 11 Oct 2019 16:53:52 +0200 | Denis Laxalde | debian: also build with python3 | file | diff | annotate |
Thu, 17 Oct 2019 20:33:02 +0200 | Denis Laxalde | debian: make it possible to by-pass doc build | file | diff | annotate |
Fri, 11 Oct 2019 17:05:37 +0200 | Denis Laxalde | debian: use pybuild and dh_sphinxdoc | file | diff | annotate |
Sun, 05 May 2019 22:48:41 +0530 | Faheem Mitha | debian: override default value for SPHINXBUILD in docs/makefile | file | diff | annotate |
Fri, 03 May 2019 03:52:44 +0530 | Faheem Mitha | debian: Override default value for SPHINXBUILD in docs/makefile | file | diff | annotate |
Sat, 19 May 2018 18:26:36 +0530 | Faheem Mitha | debian: add line to clean-docs target to delete additional docs file | file | diff | annotate |
Thu, 09 Mar 2017 12:47:31 -0800 | Martin von Zweigbergk | debian: don't delete evolve and topic extensions | file | diff | annotate |