chiark / gitweb /
doc: clarify naming for such an important option.
authorVladimír Vondruš <mosra@centrum.cz>
Mon, 12 Apr 2021 13:47:04 +0000 (15:47 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Mon, 12 Apr 2021 13:47:04 +0000 (15:47 +0200)
commit3a294739e2d351a40b94527eabd7c228d17b56be
tree8ec17c3c0ae5953c22f6b590a58f9b25b8bce3b8
parent60fc23043b63255f92a6b85a24bfc1d0446374a9
doc: clarify naming for such an important option.

Even I don't remember how it's meant to be named anymore, sigh.
doc/documentation/doxygen.rst