Editorial change: replace by footbibliography

Author: gusthoff

content/booklets/adacore-technologies-for-airborne-software/chapters/analysis.rst

@@ -4162,3 +4162,10 @@ in this manner, completeness of verification is ensured.
 
 The only remaining activity is to check that the PDI instance value
 complies with the system configuration.
+
+
+.. only:: builder_html
+
+    .. rubric:: Bibliography
+
+.. footbibliography::

content/booklets/adacore-technologies-for-airborne-software/chapters/bibliography.rst

@@ -105,3 +105,10 @@ or technique is introduced, it's important to open a discussion with
 AdaCore and the designated authority to confirm its acceptability. The
 level of detail in the process description provided in the project
 plans and standard is a key factor in gaining acceptance.
+
+
+.. only:: builder_html
+
+    .. rubric:: Bibliography
+
+.. footbibliography::

content/booklets/adacore-technologies-for-airborne-software/chapters/introduction.rst

@@ -270,3 +270,10 @@ Certification credit for using formal proofs is summarized in
   :align: center
 
   SPARK contributions to verification objectives
+
+
+.. only:: builder_html
+
+    .. rubric:: Bibliography
+
+.. footbibliography::

content/booklets/adacore-technologies-for-airborne-software/chapters/standards.rst

@@ -1122,3 +1122,10 @@ eliminating the need for manual input.
 GNATdashboard fits naturally into a continuous integration
 environment, providing users with metrics on code complexity, code
 coverage, conformance to coding standards, and more.
+
+
+.. only:: builder_html
+
+    .. rubric:: Bibliography
+
+.. footbibliography::

content/booklets/adacore-technologies-for-airborne-software/chapters/tools.rst

@@ -158,4 +158,3 @@ booklet.
    AdaCore Tools and Technologies Overview <chapters/tools>
    Compliance with DO-178C / ED-12C Guidance: Analysis <chapters/analysis>
    Summary of contributions to DO-178C/ED-12C objectives <chapters/summary>
-   Bibliography <chapters/bibliography>