chiark / gitweb /
~cjwatson / blog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ad0d69) | patch
documentation/python: define an environment variable when generating.
authorVladimír Vondruš <mosra@centrum.cz>
Thu, 8 Oct 2020 10:17:31 +0000 (12:17 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Thu, 8 Oct 2020 10:17:31 +0000 (12:17 +0200)
commitf774310c22e3799dfd1ad9c4f55c6df49e808e1d
tree20505b726423fa30cee80cc78c57727cb8148c4dtree | snapshot
parent0ad0d69376e09c4ba092502f2c2c29279908b671commit | diff
documentation/python: define an environment variable when generating.

I need that for some REALLY DIRTY hacks.
doc/documentation/python.rst diff | blob | history
documentation/python.py diff | blob | history
Colin Watson's blog