diff options
author | Martin Liska <mliska@suse.cz> | 2022-11-13 21:48:17 +0100 |
---|---|---|
committer | Martin Liska <mliska@suse.cz> | 2022-11-14 09:35:02 +0100 |
commit | cead52c9d94420a092add58f0d1521ece3f8ecfa (patch) | |
tree | 7fbd119aea1b78d7535a4542676f58199ceb51b3 | |
parent | f3c9c650b0ba45adba25f23ed214782766972560 (diff) | |
download | gcc-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.py | 3 | ||||
-rw-r--r-- | doc/indices-and-tables.rst | 2 |
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 ---- |