[gcc(refs/users/marxin/heads/sphinx-final)] FIXME: use temporary Intersphinx URL.

[Martin Liska <marxin@gcc.gnu.org>]

https://gcc.gnu.org/g:d960b0d090bfc8456340422f2ef18cc7c11f5674

commit d960b0d090bfc8456340422f2ef18cc7c11f5674
Author: Martin Liska <mliska@suse.cz>
Date:   Mon Nov 7 13:34:44 2022 +0100

    FIXME: use temporary Intersphinx URL.
    
    ChangeLog:
    
            * doc/baseconf.py: Use splichal.eu temporarily.

Diff:
---
 doc/baseconf.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/baseconf.py b/doc/baseconf.py
index 3c26f2a5b3b..2362ccb461b 100644
--- a/doc/baseconf.py
+++ b/doc/baseconf.py
@@ -191,7 +191,7 @@ INTERNAL_DOCS = ('gccint', 'cppinternals', 'gfc-internals', 'gnat-style')
 # Cross manual reference mapping
 intersphinx_mapping = {}
 for manual in USER_LEVEL_DOCS + INTERNAL_DOCS:
-    intersphinx_mapping[manual] = (f'https://gcc.gnu.org/onlinedocs/{manual}/', None)
+    intersphinx_mapping[manual] = (f'https://splichal.eu/gccsphinx-final/html/{manual}/', None)
 
 # Custom references
 extlinks = {
@@ -210,5 +210,5 @@ def set_common(name, module):
         module['todo_include_todos'] = True
         module['tags'].add('development')
 
-    html_theme_options['source_edit_link'] = f'https://gcc.gnu.org/onlinedocs/{name}' \
+    html_theme_options['source_edit_link'] = f'https://splichal.eu/gccsphinx-final/html/{name}' \
                                                '/_sources/{filename}.txt'