[gcc r13-3988] Revert "sphinx: fix cross manual references"

[gcc r13-3988] Revert "sphinx: fix cross manual references"

[Martin Liska]

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

commit r13-3988-gd6e95a12a032defdbbe3b497aef35f7228653d76
Author: Martin Liska <mliska@suse.cz>
Date:   Sun Nov 13 21:59:01 2022 +0100

    Revert "sphinx: fix cross manual references"
    
    This reverts commit 72318642439703bba8c83423d4706e06444254d6.

Diff:
---
 gcc/ada/doc/gnat_rm/index.rst                                         | 3 +--
 .../gcc-command-options/options-controlling-the-kind-of-output.rst    | 2 +-
 .../references-for-other-languages.rst                                | 2 +-
 gcc/jit/doc/internals/index.rst                                       | 2 +-
 gcc/jit/doc/topics/contexts.rst                                       | 4 ++--
 5 files changed, 6 insertions(+), 7 deletions(-)

diff --git a/gcc/ada/doc/gnat_rm/index.rst b/gcc/ada/doc/gnat_rm/index.rst
index 372c2100e51..6c2616a0f1c 100644
--- a/gcc/ada/doc/gnat_rm/index.rst
+++ b/gcc/ada/doc/gnat_rm/index.rst
@@ -1,7 +1,6 @@
-.. _top:
-
 GNAT Reference Manual
 =====================
+
 .. only:: not latex
 
     *GNAT, The GNU Ada Development Environment*
diff --git a/gcc/doc/gcc/gcc-command-options/options-controlling-the-kind-of-output.rst b/gcc/doc/gcc/gcc-command-options/options-controlling-the-kind-of-output.rst
index ea9e3cfc168..61420c1c395 100644
--- a/gcc/doc/gcc/gcc-command-options/options-controlling-the-kind-of-output.rst
+++ b/gcc/doc/gcc/gcc-command-options/options-controlling-the-kind-of-output.rst
@@ -700,7 +700,7 @@ one of the options :option:`-c`, :option:`-S`, or :option:`-E` to say where
 .. option:: -fdump-ada-spec[-slim]
 
   For C and C++ source and include files, generate corresponding Ada specs.
-  See :ref:`gnat_ugn:Generating_Ada_Bindings_for_C_and_C++_headers`, which provides detailed documentation on this feature.
+  See :ref:`gnat_ugn:generating-ada-bindings-for-c-and-c++-headers`, which provides detailed documentation on this feature.
 
 .. option:: -fada-spec-parent={unit}
 
diff --git a/gcc/doc/gcc/language-standards-supported-by-gcc/references-for-other-languages.rst b/gcc/doc/gcc/language-standards-supported-by-gcc/references-for-other-languages.rst
index b74c27e0fff..001116ac260 100644
--- a/gcc/doc/gcc/language-standards-supported-by-gcc/references-for-other-languages.rst
+++ b/gcc/doc/gcc/language-standards-supported-by-gcc/references-for-other-languages.rst
@@ -10,4 +10,4 @@ See :ref:`gnat_rm:top`, for information on standard
 conformance and compatibility of the Ada compiler.
 
 See :ref:`gfortran:standards`, for details
-of standards supported by GNU Fortran.
+of standards supported by GNU Fortran.
\ No newline at end of file
diff --git a/gcc/jit/doc/internals/index.rst b/gcc/jit/doc/internals/index.rst
index 7ca45310ffe..092380c8f20 100644
--- a/gcc/jit/doc/internals/index.rst
+++ b/gcc/jit/doc/internals/index.rst
@@ -173,7 +173,7 @@ For example, the following invocation verbosely runs the testcase
   (...shows full valgrind report for this test case...)
 
 When running under valgrind, it's best to have configured gcc with
-:option:`install:--enable-valgrind-annotations`, which automatically suppresses
+:option:`--enable-valgrind-annotations`, which automatically suppresses
 various known false positives.
 
 Environment variables
diff --git a/gcc/jit/doc/topics/contexts.rst b/gcc/jit/doc/topics/contexts.rst
index 0a079976f53..b1a7a0af56f 100644
--- a/gcc/jit/doc/topics/contexts.rst
+++ b/gcc/jit/doc/topics/contexts.rst
@@ -237,7 +237,7 @@ future activies on a context to the given `FILE *`.
    a much simpler executable that performs the equivalent calls into
    libgccjit, without needing the client code and its data.
 
-   Typically you need to supply :option:`gcc:-Wno-unused-variable` when
+   Typically you need to supply :option:`-Wno-unused-variable` when
    compiling the generated file (since the result of each API call is
    assigned to a unique variable within the generated C source, and not
    all are necessarily then used).
@@ -252,7 +252,7 @@ future activies on a context to the given `FILE *`.
 
    Parameter "dumpname" corresponds to the equivalent gcc command-line
    option, without the "-fdump-" prefix.
-   For example, to get the equivalent of :option:`-fdump-tree-vrp <gcc:-fdump-tree-all>`,
+   For example, to get the equivalent of :option:`-fdump-tree-vrp1`,
    supply ``"tree-vrp1"``:
 
    .. code-block:: c