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

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

[Martin Liska]

https://gcc.gnu.org/g:575196b935f0d5f782ce2fde33e83a732b217b3b

commit 575196b935f0d5f782ce2fde33e83a732b217b3b
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 47fa305c28b..b516f63e69b 100644
--- a/doc/baseconf.py
+++ b/doc/baseconf.py
@@ -197,7 +197,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 = {
@@ -216,5 +216,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'

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

[Martin Liska]

https://gcc.gnu.org/g:1531973a8cf6f9dc0bfa8fe036d4e435a5b0ad00

commit 1531973a8cf6f9dc0bfa8fe036d4e435a5b0ad00
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 f80fdabc8b0..64c9a9cf5e7 100644
--- a/doc/baseconf.py
+++ b/doc/baseconf.py
@@ -194,7 +194,7 @@ INTERNAL_DOCS = ('gccint', 'cppinternals', 'gfc-internals', 'gnat-style', 'libib
 # 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 = {
@@ -213,5 +213,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'

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

[Martin Liska]

https://gcc.gnu.org/g:64d8b345eb09f1c3e070485a81db50e7d8619d96

commit 64d8b345eb09f1c3e070485a81db50e7d8619d96
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 f80fdabc8b0..64c9a9cf5e7 100644
--- a/doc/baseconf.py
+++ b/doc/baseconf.py
@@ -194,7 +194,7 @@ INTERNAL_DOCS = ('gccint', 'cppinternals', 'gfc-internals', 'gnat-style', 'libib
 # 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 = {
@@ -213,5 +213,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'

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

[Martin Liska]

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

commit f84e5c2ed7438c1879f23dc804dd9fa2e60de01c
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 f80fdabc8b0..64c9a9cf5e7 100644
--- a/doc/baseconf.py
+++ b/doc/baseconf.py
@@ -194,7 +194,7 @@ INTERNAL_DOCS = ('gccint', 'cppinternals', 'gfc-internals', 'gnat-style', 'libib
 # 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 = {
@@ -213,5 +213,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'

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

[Martin Liska]

https://gcc.gnu.org/g:4b0fd61919d56e34e6515001bfe448ecb8af4124

commit 4b0fd61919d56e34e6515001bfe448ecb8af4124
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 eb93e4bb69d..53f35a0c9a9 100644
--- a/doc/baseconf.py
+++ b/doc/baseconf.py
@@ -194,7 +194,7 @@ INTERNAL_DOCS = ('gccint', 'cppinternals', 'gfc-internals', 'gnat-style', 'libib
 # 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 = {
@@ -213,5 +213,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'

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

[Martin Liska]

https://gcc.gnu.org/g:4c750b1d38a571b1536ff35c9c8786295167c8b0

commit 4c750b1d38a571b1536ff35c9c8786295167c8b0
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 2f97ca0a47b..9eef410ec6e 100644
--- a/doc/baseconf.py
+++ b/doc/baseconf.py
@@ -194,7 +194,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 = {
@@ -213,5 +213,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'

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

[Martin Liska]

https://gcc.gnu.org/g:60be1b85c3fa5e9209bb4ba4ef36d884a9070f67

commit 60be1b85c3fa5e9209bb4ba4ef36d884a9070f67
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 2f97ca0a47b..9eef410ec6e 100644
--- a/doc/baseconf.py
+++ b/doc/baseconf.py
@@ -194,7 +194,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 = {
@@ -213,5 +213,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'

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

[Martin Liska]

https://gcc.gnu.org/g:10f886e17e28c06c62d904b85be6d66bbaf18015

commit 10f886e17e28c06c62d904b85be6d66bbaf18015
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 2f97ca0a47b..9eef410ec6e 100644
--- a/doc/baseconf.py
+++ b/doc/baseconf.py
@@ -194,7 +194,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 = {
@@ -213,5 +213,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'

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

[Martin Liska]

https://gcc.gnu.org/g:5e3a063f6112c46b395e6c0e2e109310c7bd55ad

commit 5e3a063f6112c46b395e6c0e2e109310c7bd55ad
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 2f97ca0a47b..9eef410ec6e 100644
--- a/doc/baseconf.py
+++ b/doc/baseconf.py
@@ -194,7 +194,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 = {
@@ -213,5 +213,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'

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

[Martin Liska]

https://gcc.gnu.org/g:8bdd071776ea7154b5bd16230c5eae7b3f70a87e

commit 8bdd071776ea7154b5bd16230c5eae7b3f70a87e
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 2f97ca0a47b..9eef410ec6e 100644
--- a/doc/baseconf.py
+++ b/doc/baseconf.py
@@ -194,7 +194,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 = {
@@ -213,5 +213,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'

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

[Martin Liska]

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'

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

[Martin Liska]

https://gcc.gnu.org/g:440621f9c8e39cec196842199efc940635e119b1

commit 440621f9c8e39cec196842199efc940635e119b1
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 6993ba5eef6..b3acb63e200 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'

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

[Martin Liska]

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

commit c20ccdac8f4e27e6d08e3afa4ac0a01030ee094b
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 47fa305c28b..b516f63e69b 100644
--- a/doc/baseconf.py
+++ b/doc/baseconf.py
@@ -197,7 +197,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 = {
@@ -216,5 +216,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'

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

[Martin Liska]

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

commit d8316521b18a234fd12072ed6ccd326229e48340
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 47fa305c28b..b516f63e69b 100644
--- a/doc/baseconf.py
+++ b/doc/baseconf.py
@@ -197,7 +197,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 = {
@@ -216,5 +216,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'

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

[Martin Liska]

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

commit cdb183a1a2947b7fe4ba31ac94c16c300e24faae
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 d3945180202..28641df32ec 100644
--- a/doc/baseconf.py
+++ b/doc/baseconf.py
@@ -197,7 +197,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}/_build/html/', None)
+    intersphinx_mapping[manual] = (f'https://splichal.eu/gccsphinx-final/html/{manual}/_build/html/', None)
 
 # Custom references
 extlinks = {
@@ -216,5 +216,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}' \
                                                '/_build/html/_sources/{filename}.txt'

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

[Martin Liska]

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

commit f79d4377293fdb53113a186d38838c54d0d8bbec
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 d3945180202..28641df32ec 100644
--- a/doc/baseconf.py
+++ b/doc/baseconf.py
@@ -197,7 +197,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}/_build/html/', None)
+    intersphinx_mapping[manual] = (f'https://splichal.eu/gccsphinx-final/html/{manual}/_build/html/', None)
 
 # Custom references
 extlinks = {
@@ -216,5 +216,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}' \
                                                '/_build/html/_sources/{filename}.txt'

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

[Martin Liska]

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

commit c86ae2cad4549991a1205df3883dc68b4961745c
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 d3945180202..28641df32ec 100644
--- a/doc/baseconf.py
+++ b/doc/baseconf.py
@@ -197,7 +197,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}/_build/html/', None)
+    intersphinx_mapping[manual] = (f'https://splichal.eu/gccsphinx-final/html/{manual}/_build/html/', None)
 
 # Custom references
 extlinks = {
@@ -216,5 +216,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}' \
                                                '/_build/html/_sources/{filename}.txt'