| commit | bd11551d29af06469dbc3f25a6700337c8a49271 | |
| author | Olly Betts <olly@survex.com> | |
| Thu, 4 Feb 2016 01:36:38 +0000 (4 14:36 +1300) | ||
| committer | Olly Betts <olly@survex.com> | |
| Thu, 4 Feb 2016 01:36:38 +0000 (4 14:36 +1300) | ||
| tree | fde04c8ae1cdad72353cf3b861c4a2111dfb1875 | treesnapshot (tar.gz zip) |
| parent | 25f502736a692989fdd3fd1053a20f05afe3916e | commitdiff |
Run sphinx at build time for python and python3
It's an extra tool for people building from source to have to install,
but its output is rather large (this change reduces our tar.xz size by
~20%), and its output includes a source-less minified copy of jquery.
It's an extra tool for people building from source to have to install,
but its output is rather large (this change reduces our tar.xz size by
~20%), and its output includes a source-less minified copy of jquery.