c-user: Move "Ada Configuration"

Update #3836.

2 files changed, 16 insertions, 12 deletions

diff --git a/c-user/config/ada.rst b/c-user/config/ada.rst
new file mode 100644
index 0000000..49db1f7
--- /dev/null
+++ b/c-user/config/ada.rst
@@ -0,0 +1,15 @@
+.. SPDX-License-Identifier: CC-BY-SA-4.0
+
+.. Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR)
+
+.. _ConfigAda:
+
+Ada Configuration
+=================
+
+The GNU Ada runtime library (libgnarl) uses threads, mutexes, condition
+variables, and signals from the pthreads API.  It uses also thread-local storage
+for the Ada Task Control Block (ATCB).  From these resources only the threads
+need to be accounted for in the configuration.  You should include the Ada tasks
+in your setting of the :ref:`CONFIGURE_MAXIMUM_POSIX_THREADS` configuration
+option.
diff --git a/c-user/config/index.rst b/c-user/config/index.rst
index 8d780a9..3f5b222 100644
--- a/c-user/config/index.rst
+++ b/c-user/config/index.rst
@@ -28,18 +28,7 @@ Configuring a System
     mpci
     libpci
     event-record
-
-.. _ConfigAda:
-
-Ada Configuration
-=================
-
-The GNU Ada runtime library (libgnarl) uses threads, mutexes, condition
-variables, and signals from the pthreads API.  It uses also thread-local storage
-for the Ada Task Control Block (ATCB).  From these resources only the threads
-need to be accounted for in the configuration.  You should include the Ada tasks
-in your setting of the :ref:`CONFIGURE_MAXIMUM_POSIX_THREADS` configuration
-option.
+    ada
 
 Obsolete Configuration Options
 ==============================