Skip to content

Commit 6b21974

Browse files
committed
Editorial change: move files to "chapters" folder
Aligning with structure from other courses.
1 parent 03cef99 commit 6b21974

File tree

7 files changed

+14
-14
lines changed

7 files changed

+14
-14
lines changed

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
.. include:: ../../global.txt
1+
.. include:: ../../../global.txt
22

33
.. index:: single: DO-178C/ED-12C; Compliance
44

@@ -876,7 +876,7 @@ consistent with the target hardware. For example,
876876
flag (F).
877877

878878
.. _Airborn_SW_fig3:
879-
.. figure:: images/analysis-fig3.png
879+
.. figure:: ../images/analysis-fig3.png
880880
:align: center
881881
:scale: 30%
882882

File renamed without changes.

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
.. include:: ../../global.txt
1+
.. include:: ../../../global.txt
22

33
Introduction
44
============
@@ -33,7 +33,7 @@ annotations in :numref:`Airborn_SW_fig1` refer to the tables in
3333
|do-178c| and, when applicable, specific objectives in those tables.
3434

3535
.. _Airborn_SW_fig1:
36-
.. figure:: images/introduction-fig1.png
36+
.. figure:: ../images/introduction-fig1.png
3737
:align: center
3838

3939
AdaCore Technologies and |do-178c| Life Cycle Processes

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
.. include:: ../../global.txt
1+
.. include:: ../../../global.txt
22

33
.. index:: DO-178C/ED-12C
44

@@ -266,7 +266,7 @@ Certification credit for using formal proofs is summarized in
266266
:numref:`Airborn_SW_fig2`:
267267

268268
.. _Airborn_SW_fig2:
269-
.. figure:: images/standards-fig2.png
269+
.. figure:: ../images/standards-fig2.png
270270
:align: center
271271

272272
SPARK contributions to verification objectives

content/booklets/adacore-technologies-for-airborne-software/summary.rst renamed to content/booklets/adacore-technologies-for-airborne-software/chapters/summary.rst

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
.. include:: ../../global.txt
1+
.. include:: ../../../global.txt
22

33
Summary of contributions to DO-178C/ED-12C objectives
44
=====================================================

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
.. include:: ../../global.txt
1+
.. include:: ../../../global.txt
22

33
AdaCore Tools and Technologies Overview
44
=======================================

content/booklets/adacore-technologies-for-airborne-software/index.rst

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -153,9 +153,9 @@ booklet.
153153
:maxdepth: 4
154154
:numbered:
155155

156-
Introduction<introduction>
157-
The DO-178C/ED-12C Standards Suite<standards>
158-
AdaCore Tools and Technologies Overview<tools>
159-
Compliance with DO-178C / ED-12C Guidance: Analysis<analysis>
160-
Summary of contributions to DO-178C/ED-12C objectives<summary>
161-
Bibliography<bibliography>
156+
Introduction <chapters/introduction>
157+
The DO-178C/ED-12C Standards Suite <chapters/standards>
158+
AdaCore Tools and Technologies Overview <chapters/tools>
159+
Compliance with DO-178C / ED-12C Guidance: Analysis <chapters/analysis>
160+
Summary of contributions to DO-178C/ED-12C objectives <chapters/summary>
161+
Bibliography <chapters/bibliography>

0 commit comments

Comments
 (0)