AdaCore · gusthoff · Sep 19, 2025 · Sep 19, 2025 · Sep 19, 2025 · Sep 19, 2025
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -76,7 +76,7 @@
     - The global definitions are included with the following format:
 
       ```
-          .. include:: ../../global.txt
+          .. include:: ../../../global.txt
       ```
 
     - The global definitions file may be extended if needed.

diff --git a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/01_Preface.rst b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/01_Preface.rst
@@ -3,7 +3,7 @@
 Preface
 ---------
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 Nowadays it seems like talking about programming languages is a bit passé. The technical wars of the past decade have subsided and today we see a variety of high-level and well-established languages offering functionality that can meet the needs of any programmer.
 

diff --git a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/02_Basics.rst b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/02_Basics.rst
@@ -1,7 +1,7 @@
 Basics
 --------
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 Ada implements the vast majority of programming concepts that you're accustomed to in C++ and Java: classes, inheritance, templates (generics), etc. Its syntax might seem peculiar, though. It's not derived from the popular C style of notation with its ample use of brackets; rather, it uses a more expository syntax coming from Pascal. In many ways, Ada is a simpler language |mdash| its syntax favors making it easier to conceptualize and read program code, rather than making it faster to write in a cleverly condensed manner. For example, full words like :ada:`begin` and :ada:`end` are used in place of curly braces. Conditions are written using :ada:`if`, :ada:`then`, :ada:`elsif`, :ada:`else`, and :ada:`end if`. Ada's assignment operator does not double as an expression, smoothly eliminating any frustration that could be caused by :cpp:`=` being used where :cpp:`==` should be.
 

diff --git a/...urses/Ada_For_The_CPP_Java_Developer/chapters/03_Compilation_Unit_Structure.rst b/...urses/Ada_For_The_CPP_Java_Developer/chapters/03_Compilation_Unit_Structure.rst
@@ -1,7 +1,7 @@
 Compilation Unit Structure
 ----------------------------
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 C++ programming style usually promotes the use of two distinct files: header files used to define specifications (.h*, *.hxx*, *.hpp*), and implementation files which contain the executable code (*.c*, *.cxx*, *.cpp*). However, the distinction between specification and implementation is not enforced by the compiler and may need to be worked around in order to implement, for example, inlining or templates.
 

diff --git a/...P_Java_Developer/chapters/04_Statements_Declarations_and_Control_Structures.rst b/...P_Java_Developer/chapters/04_Statements_Declarations_and_Control_Structures.rst
@@ -1,7 +1,7 @@
 Statements, Declarations, and Control Structures
 ---------------------------------------------------
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 Statements and Declarations
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

diff --git a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/05_Type_System.rst b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/05_Type_System.rst
@@ -1,7 +1,7 @@
 Type System
 -------------
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 Strong Typing
 ~~~~~~~~~~~~~~

diff --git a/...courses/Ada_For_The_CPP_Java_Developer/chapters/06_Functions_and_Procedures.rst b/...courses/Ada_For_The_CPP_Java_Developer/chapters/06_Functions_and_Procedures.rst
@@ -1,7 +1,7 @@
 Functions and Procedures
 -------------------------
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 General Form
 ~~~~~~~~~~~~~

diff --git a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/07_Packages.rst b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/07_Packages.rst
@@ -1,7 +1,7 @@
 Packages
 ----------
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 Declaration Protection
 ~~~~~~~~~~~~~~~~~~~~~~~

diff --git a/..._The_CPP_Java_Developer/chapters/08_Classes_and_Object_Oriented_Programming.rst b/..._The_CPP_Java_Developer/chapters/08_Classes_and_Object_Oriented_Programming.rst
@@ -1,7 +1,7 @@
 Classes and Object Oriented Programming
 -----------------------------------------
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 Primitive Subprograms
 ~~~~~~~~~~~~~~~~~~~~~~

diff --git a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/09_Generics.rst b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/09_Generics.rst
@@ -1,7 +1,7 @@
 Generics
 ----------
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 Ada, C++, and Java all have support for generics or templates, but on different sets of language entities. A C++ template can be applied to a class or a function. So can a Java generic. An Ada generic can be either a package or a subprogram.
 

diff --git a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/10_Exceptions.rst b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/10_Exceptions.rst
@@ -1,7 +1,7 @@
 Exceptions
 ------------
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 Exceptions are a mechanism for dealing with run-time occurrences that are rare, that usually correspond to errors (such as improperly formed input data), and whose occurrence causes an unconditional transfer of control.
 

diff --git a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/11_Concurrency.rst b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/11_Concurrency.rst
@@ -1,7 +1,7 @@
 Concurrency
 -------------
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 .. todo::
 

diff --git a/...nt/courses/Ada_For_The_CPP_Java_Developer/chapters/12_Low_Level_Programming.rst b/...nt/courses/Ada_For_The_CPP_Java_Developer/chapters/12_Low_Level_Programming.rst
@@ -1,7 +1,7 @@
 Low Level Programming
 -----------------------
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 Representation Clauses
 ~~~~~~~~~~~~~~~~~~~~~~~~

diff --git a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/13_Conclusion.rst b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/13_Conclusion.rst
@@ -1,7 +1,7 @@
 Conclusion
 -------------
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 All the usual paradigms of imperative programming can be found in all three languages that we surveyed in this document. However, Ada is different from the rest in that it's more explicit when expressing properties and expectations. This is a good thing: being more formal affords better communication among programmers on a team and between programmers and machines. You also get more assurance of the coherence of a program at many levels. Ada can help reduce the cost of software maintenance by shifting the effort to creating a sound system the first time, rather than working harder, more often, and at greater expense, to fix bugs found later in systems already in production. Applications that have reliability needs, long term maintenance requirements, or safety/security concerns are those for which Ada has a proven track record.
 

diff --git a/content/courses/Ada_For_The_CPP_Java_Developer/chapters/14_References.rst b/content/courses/Ada_For_The_CPP_Java_Developer/chapters/14_References.rst
@@ -3,7 +3,7 @@
 References
 -------------
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 The Ada Information Clearinghouse website http://www.adaic.org/learn/materials/, maintained by the Ada Resource Association, contains links to a variety of training materials (books, articles, etc.) that can help in learning Ada. The Development Center page http://www.adacore.com/knowledge on AdaCore's website also contains links to useful information including vides and tutorials on Ada.
 

diff --git a/content/courses/Ada_For_The_CPP_Java_Developer/index.rst b/content/courses/Ada_For_The_CPP_Java_Developer/index.rst
@@ -4,7 +4,7 @@
 Ada for the C++ or Java Developer
 ===================================
 
-.. include:: ../global.txt
+.. include:: ../../global.txt
 
 .. only:: no_hidden_books
 

diff --git a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/01_Introduction.rst b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/01_Introduction.rst
@@ -3,7 +3,7 @@
 Introduction
 ==============
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 So, what is this Ada thing anyway?
 -----------------------------------

diff --git a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/02_Perspective.rst b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/02_Perspective.rst
@@ -1,7 +1,7 @@
 The C Developer's Perspective on Ada
 ======================================
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 What we mean by Embedded Software
 ------------------------------------

diff --git a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/03_Concurrency.rst b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/03_Concurrency.rst
@@ -1,7 +1,7 @@
 Concurrency and Real-Time
 ============================
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 Understanding the various options
 ---------------------------------

diff --git a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/04_Embedded.rst b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/04_Embedded.rst
@@ -1,7 +1,7 @@
 Writing Ada on Embedded Systems
 =================================
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 Understanding the Ada Run-Time
 ------------------------------

diff --git a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/05_SPARK.rst b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/05_SPARK.rst
@@ -1,7 +1,7 @@
 Enhancing Verification with SPARK and Ada
 ============================================
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 Understanding Exceptions and Dynamic Checks
 -------------------------------------------

diff --git a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/06_Translation.rst b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/06_Translation.rst
@@ -1,7 +1,7 @@
 C to Ada Translation Patterns
 =================================
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 Naming conventions and casing considerations
 --------------------------------------------

diff --git a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/07_Reusability.rst b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/07_Reusability.rst
@@ -1,7 +1,7 @@
 Handling Variability and Re-usability
 =======================================
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 Understanding static and dynamic variability
 --------------------------------------------

diff --git a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/08_Performance.rst b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/08_Performance.rst
@@ -1,7 +1,7 @@
 Performance considerations
 ==========================
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 Overall expectations
 --------------------

diff --git a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/09_Business.rst b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/09_Business.rst
@@ -1,7 +1,7 @@
 Argumentation and Business Perspectives
 ==========================================
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 The technical benefits of a migration from C to Ada are usually relatively
 straightforward to demonstrate. Hopefully, this course provides a good basis
@@ -21,7 +21,7 @@ answer to how much money can be saved by transitioning, as this is highly
 dependent on specific project objectives and constraints. We're going to
 provide qualitative and quantitative arguments here, from the perspective of a
 project that has to reach a relatively high level of integrity, that is to say
-a system where the occurrence of a software failure is a relatively costly 
+a system where the occurrence of a software failure is a relatively costly
 event.
 
 From a qualitative standpoint, there are various times in the software

diff --git a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/10_Conclusion.rst b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/10_Conclusion.rst
@@ -1,7 +1,7 @@
 Conclusion
 ============
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 Although Ada's syntax might seem peculiar to C developers at first glance, it
 was designed to increase readability and maintainability, rather than making it

diff --git a/content/courses/Ada_For_The_Embedded_C_Developer/chapters/Appendix_A_OOP.rst b/content/courses/Ada_For_The_Embedded_C_Developer/chapters/Appendix_A_OOP.rst
@@ -3,7 +3,7 @@
 Appendix A: Hands-On Object-Oriented Programming
 ================================================
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 The goal of this appendix is to present a hands-on view on how to translate a
 system from C to Ada and improve it with object-oriented programming.

diff --git a/content/courses/Ada_For_The_Embedded_C_Developer/index.rst b/content/courses/Ada_For_The_Embedded_C_Developer/index.rst
@@ -4,7 +4,7 @@
 Ada for the Embedded C Developer
 ===================================
 
-.. include:: ../global.txt
+.. include:: ../../global.txt
 
 .. only:: no_hidden_books
 

diff --git a/content/courses/GNAT_Toolchain_Intro/chapters/gnat_studio.rst b/content/courses/GNAT_Toolchain_Intro/chapters/gnat_studio.rst
@@ -1,7 +1,7 @@
 GNAT Studio
 ===========
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 This chapter presents an introduction to the GNAT Studio, which provides an IDE
 to develop applications in Ada. For a detailed overview, please refer to the

diff --git a/content/courses/GNAT_Toolchain_Intro/chapters/gnat_toolchain_basics.rst b/content/courses/GNAT_Toolchain_Intro/chapters/gnat_toolchain_basics.rst
@@ -3,7 +3,7 @@
 GNAT Toolchain Basics
 =====================
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 This chapter presents a couple of basic commands from the GNAT toolchain.
 

diff --git a/content/courses/GNAT_Toolchain_Intro/chapters/gnat_tools.rst b/content/courses/GNAT_Toolchain_Intro/chapters/gnat_tools.rst
@@ -3,7 +3,7 @@
 GNAT Tools
 ==========
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 In chapter we present a brief overview of some of the tools included
 in the GNAT toolchain.

diff --git a/content/courses/GNAT_Toolchain_Intro/chapters/gprbuild.rst b/content/courses/GNAT_Toolchain_Intro/chapters/gprbuild.rst
@@ -1,7 +1,7 @@
 GPRbuild
 ========
 
-.. include:: ../../global.txt
+.. include:: ../../../global.txt
 
 This chapter presents a brief overview of :program:`GPRbuild`, the project
 manager of the GNAT toolchain.  It can be used to manage complex builds. In

diff --git a/content/courses/GNAT_Toolchain_Intro/index.rst b/content/courses/GNAT_Toolchain_Intro/index.rst
@@ -4,7 +4,7 @@
 Introduction to the GNAT Toolchain
 ==================================
 
-.. include:: ../global.txt
+.. include:: ../../global.txt
 
 .. only:: no_hidden_books
 

diff --git a/...es/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/concurrency.rst b/...es/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/concurrency.rst
@@ -3,7 +3,7 @@
 Concurrency (CON)
 ===================
 
-.. include:: ../../../global.txt
+.. include:: ../../../../global.txt
 
 *Goal*
    :Maintainability: :math:`\checkmark`

diff --git a/...e_Ada_SPARK/chapters/guidelines/concurrency/con01_use_the_ravenscar_profile.rst b/...e_Ada_SPARK/chapters/guidelines/concurrency/con01_use_the_ravenscar_profile.rst
@@ -2,7 +2,7 @@
 Use the Ravenscar Profile (CON01)
 -----------------------------------
 
-.. include:: ../../../../global.txt
+.. include:: ../../../../../global.txt
 
 **Level** :math:`\rightarrow` Advisory
 

diff --git a/...cure_Ada_SPARK/chapters/guidelines/concurrency/con02_use_the_jorvik_profile.rst b/...cure_Ada_SPARK/chapters/guidelines/concurrency/con02_use_the_jorvik_profile.rst
@@ -2,7 +2,7 @@
 Use the Jorvik Profile (CON02)
 --------------------------------
 
-.. include:: ../../../../global.txt
+.. include:: ../../../../../global.txt
 
 **Level** :math:`\rightarrow` Advisory
 

diff --git a/...lines/concurrency/con03_avoid_shared_variables_for_inter-task_communication.rst b/...lines/concurrency/con03_avoid_shared_variables_for_inter-task_communication.rst
@@ -2,7 +2,7 @@
 Avoid Shared Variables for Inter-task Communication (CON03)
 -------------------------------------------------------------
 
-.. include:: ../../../../global.txt
+.. include:: ../../../../../global.txt
 
 **Level** :math:`\rightarrow` Advisory
 

diff --git a/...es/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/definitions.rst b/...es/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/definitions.rst
@@ -3,7 +3,7 @@
 Definitions
 =============
 
-.. include:: ../../../global.txt
+.. include:: ../../../../global.txt
 
 This section contains terms and values used in the definitions of the rules set
 forth in this chapter.

diff --git a/...or_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management.rst b/...or_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management.rst
@@ -2,7 +2,7 @@
 Dynamic Storage Management (DYN)
 ==================================
 
-.. include:: ../../../global.txt
+.. include:: ../../../../global.txt
 
 *Goal*
    :Maintainability: :math:`\checkmark`

diff --git a/...delines/dynamic_storage_management/dyn01_common_high_integrity_restrictions.rst b/...delines/dynamic_storage_management/dyn01_common_high_integrity_restrictions.rst
@@ -2,7 +2,7 @@
 Common High Integrity Restrictions (DYN01)
 --------------------------------------------
 
-.. include:: ../../../../global.txt
+.. include:: ../../../../../global.txt
 
 **Level** :math:`\rightarrow` Required
 

diff --git a/...lines/dynamic_storage_management/dyn02_traditional_static_allocation_policy.rst b/...lines/dynamic_storage_management/dyn02_traditional_static_allocation_policy.rst
@@ -2,7 +2,7 @@
 Traditional Static Allocation Policy (DYN02)
 ----------------------------------------------
 
-.. include:: ../../../../global.txt
+.. include:: ../../../../../global.txt
 
 **Level** :math:`\rightarrow` Advisory
 

diff --git a/...nes/dynamic_storage_management/dyn03_access_types_without_allocators_policy.rst b/...nes/dynamic_storage_management/dyn03_access_types_without_allocators_policy.rst
@@ -2,7 +2,7 @@
 Access Types Without Allocators Policy (DYN03)
 ------------------------------------------------
 
-.. include:: ../../../../global.txt
+.. include:: ../../../../../global.txt
 
 **Level** :math:`\rightarrow` Advisory
 

diff --git a/...idelines/dynamic_storage_management/dyn04_minimal_dynamic_allocation_policy.rst b/...idelines/dynamic_storage_management/dyn04_minimal_dynamic_allocation_policy.rst
@@ -2,7 +2,7 @@
 Minimal Dynamic Allocation Policy (DYN04)
 -------------------------------------------
 
-.. include:: ../../../../global.txt
+.. include:: ../../../../../global.txt
 
 **Level** :math:`\rightarrow` Advisory
-Original file line number
+Diff line change
@@ Expand Up / @@ -3,7 +3,7 @@ @@
     Preface
     ---------
-    .. include:: ../../global.txt
+    .. include:: ../../../global.txt
     Nowadays it seems like talking about programming languages is a bit passé. The technical wars of the past decade have subsided and today we see a variety of high-level and well-established languages offering functionality that can meet the needs of any programmer.
@@ Expand Down @@