chiark / gitweb /
m.sphinx: improve docs in various places.
authorVladimír Vondruš <mosra@centrum.cz>
Sun, 15 Sep 2019 19:26:57 +0000 (21:26 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Sun, 15 Sep 2019 19:51:35 +0000 (21:51 +0200)
commitd7fff1560f925fe32da97eef90a7ad340e93ddfc
tree1555af7af3d84eac0b5f4f100cf63436927ce3ca
parent04ff378fac34af5f7c51b2cf445c183e1dbb3e4b
m.sphinx: improve docs in various places.
doc/plugins/sphinx.rst