]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f90cb39) | patch
sphinx: include todolist only if INCLUDE_TODO env. set
authorMartin Liska <mliska@suse.cz>
Sun, 13 Nov 2022 14:16:12 +0000 (15:16 +0100)
committerMartin Liska <mliska@suse.cz>
Sun, 13 Nov 2022 15:41:36 +0000 (16:41 +0100)
commitc64fd69420fd153f9fb16a603ff0a711fbde8335
tree2d978067595e2893f4291e98c55889832ab434b4tree | snapshot
parentf90cb39235c4971c4399c782d4d7566242b5886bcommit | diff
sphinx: include todolist only if INCLUDE_TODO env. set

It is confusing that 'Indexes and tables' contains TODO. One gets
Index by clicking to the Index link.

PR web/107643

ChangeLog:

* doc/baseconf.py: Set include_todo tag if INCLUDE_TODO env
is set.
* doc/indices-and-tables.rst: Use include_todo tag.
doc/baseconf.py diff | blob | blame | history
doc/indices-and-tables.rst diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git