リビジョン | c64fd69420fd153f9fb16a603ff0a711fbde8335 (tree) |
---|---|
日時 | 2022-11-14 00:41:36 |
作者 | Martin Liska <mliska@suse...> |
コミッター | Martin Liska |
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.
@@ -51,6 +51,7 @@ gcc_REVISION = read_file('REVISION') | ||
51 | 51 | VERSION_PACKAGE = os.getenv('VERSION_PACKAGE') |
52 | 52 | BUGURL = os.getenv('BUGURL') |
53 | 53 | MONOCHROMATIC = os.getenv('MONOCHROMATIC') |
54 | +INCLUDE_TODO = os.getenv('INCLUDE_TODO') | |
54 | 55 | |
55 | 56 | YEAR = time.strftime('%Y') |
56 | 57 |
@@ -215,6 +216,8 @@ def set_common(name, module): | ||
215 | 216 | if gcc_DEVPHASE == 'experimental': |
216 | 217 | module['todo_include_todos'] = True |
217 | 218 | module['tags'].add('development') |
219 | + if INCLUDE_TODO: | |
220 | + module['tags'].add('include_todo') | |
218 | 221 | |
219 | 222 | html_theme_options['source_edit_link'] = f'https://gcc.gnu.org/onlinedocs/{name}' \ |
220 | 223 | '/_sources/{filename}.txt' |
@@ -5,7 +5,7 @@ | ||
5 | 5 | |
6 | 6 | :ref:`genindex` |
7 | 7 | |
8 | - .. only:: development | |
8 | + .. only:: include_todo | |
9 | 9 | |
10 | 10 | TODO |
11 | 11 | ---- |