diff options
author | Martin Liska <mliska@suse.cz> | 2022-11-13 15:16:12 +0100 |
---|---|---|
committer | Martin Liska <mliska@suse.cz> | 2022-11-13 16:41:36 +0100 |
commit | c64fd69420fd153f9fb16a603ff0a711fbde8335 (patch) | |
tree | 2d978067595e2893f4291e98c55889832ab434b4 /gcc | |
parent | f90cb39235c4971c4399c782d4d7566242b5886b (diff) | |
download | gcc-c64fd69420fd153f9fb16a603ff0a711fbde8335.zip gcc-c64fd69420fd153f9fb16a603ff0a711fbde8335.tar.gz gcc-c64fd69420fd153f9fb16a603ff0a711fbde8335.tar.bz2 |
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.
Diffstat (limited to 'gcc')
0 files changed, 0 insertions, 0 deletions