diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-11-13 07:47:33 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-11-16 15:31:52 +0100 |
| commit | 34bd9955394acc6edc769873db62474c12b2345a (patch) | |
| tree | d6261a420e077fe6d5eef712c63a4a307cd66703 /Documentation/sphinx | |
| parent | af3512a6c585c68ba8ef2e19d4e4d8a9830679df (diff) | |
| download | sparse-dev-34bd9955394acc6edc769873db62474c12b2345a.tar.gz | |
doc: Sphinx's option ':noindex:' have been renamed into ':noindexentry:'
and instead of keeping the old name for compatibility, no it's rejected.
But well, purity of language is surely much more important than compatibility.
*long deep sigh*
So, use the new name (but it will for sure create problems when using
an older version of Sphinx).
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'Documentation/sphinx')
0 files changed, 0 insertions, 0 deletions