aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Liska <mliska@suse.cz>2022-11-13 21:48:17 +0100
committerMartin Liska <mliska@suse.cz>2022-11-14 09:35:02 +0100
commitcead52c9d94420a092add58f0d1521ece3f8ecfa (patch)
tree7fbd119aea1b78d7535a4542676f58199ceb51b3
parentf3c9c650b0ba45adba25f23ed214782766972560 (diff)
downloadgcc-cead52c9d94420a092add58f0d1521ece3f8ecfa.zip
gcc-cead52c9d94420a092add58f0d1521ece3f8ecfa.tar.gz
gcc-cead52c9d94420a092add58f0d1521ece3f8ecfa.tar.bz2
Revert "sphinx: include todolist only if INCLUDE_TODO env. set"
This reverts commit c64fd69420fd153f9fb16a603ff0a711fbde8335.
-rw-r--r--doc/baseconf.py3
-rw-r--r--doc/indices-and-tables.rst2
2 files changed, 1 insertions, 4 deletions
diff --git a/doc/baseconf.py b/doc/baseconf.py
index c91675d..8021a10 100644
--- a/doc/baseconf.py
+++ b/doc/baseconf.py
@@ -51,7 +51,6 @@ gcc_REVISION = read_file('REVISION')
VERSION_PACKAGE = os.getenv('VERSION_PACKAGE')
BUGURL = os.getenv('BUGURL')
MONOCHROMATIC = os.getenv('MONOCHROMATIC')
-INCLUDE_TODO = os.getenv('INCLUDE_TODO')
YEAR = time.strftime('%Y')
@@ -216,8 +215,6 @@ def set_common(name, module):
if gcc_DEVPHASE == 'experimental':
module['todo_include_todos'] = True
module['tags'].add('development')
- if INCLUDE_TODO:
- module['tags'].add('include_todo')
html_theme_options['source_edit_link'] = f'https://gcc.gnu.org/onlinedocs/{name}' \
'/_sources/{filename}.txt'
diff --git a/doc/indices-and-tables.rst b/doc/indices-and-tables.rst
index 0f4cd2f..56b3313 100644
--- a/doc/indices-and-tables.rst
+++ b/doc/indices-and-tables.rst
@@ -5,7 +5,7 @@
:ref:`genindex`
- .. only:: include_todo
+ .. only:: development
TODO
----