From 7a82a070cbaba1400bfb7124b26f26b382db28e9 Mon Sep 17 00:00:00 2001 From: gusthoff Date: Fri, 19 Sep 2025 13:55:44 +0200 Subject: [PATCH 1/3] Editorial change: introducing new front page structure --- content/index.rst | 25 ++++++++++++++++++++----- 1 file changed, 20 insertions(+), 5 deletions(-) diff --git a/content/index.rst b/content/index.rst index 938587aaf..145926888 100644 --- a/content/index.rst +++ b/content/index.rst @@ -81,19 +81,34 @@ .. toctree:: :maxdepth: 1 - :caption: Courses + :caption: Courses: Ada Introduction to Ada Advanced Journey With Ada Ada In Practice + Ada for the C++ or Java Developer + + .. toctree:: + :maxdepth: 1 + :caption: Courses: SPARK + Introduction to SPARK + SPARK Ada for the MISRA C Developer + + .. toctree:: + :maxdepth: 1 + :caption: Courses: Ada for Embedded + Introduction to Embedded Systems Programming - What's New in Ada 2022 - Ada for the C++ or Java Developer Ada for the Embedded C Developer - SPARK Ada for the MISRA C Developer - Introduction to the GNAT Toolchain + + .. toctree:: + :maxdepth: 1 + :caption: General Ada/SPARK Material + Guidelines for Safe and Secure Ada/SPARK + What's New in Ada 2022 + Introduction to the GNAT Toolchain .. only:: no_hidden_books From c5c0c9d5511a16b0aea4b9dbef80dd4fc7b0ef4f Mon Sep 17 00:00:00 2001 From: gusthoff Date: Fri, 19 Sep 2025 13:58:19 +0200 Subject: [PATCH 2/3] Editorial change: updating order of e-book gallery --- content/index.rst | 93 +++++++++++++++++++++++------------------------ 1 file changed, 45 insertions(+), 48 deletions(-) diff --git a/content/index.rst b/content/index.rst index 145926888..528cbc36a 100644 --- a/content/index.rst +++ b/content/index.rst @@ -180,57 +180,56 @@ - .. container:: frontpage-ebook-and-buttons-block - .. image:: images/page-1-of-intro-to-ada-labs.jpeg - :alt: Introduction to Ada: Laboratories (e-book) - :target: /labs/intro-to-ada/index.html + .. image:: images/page-1-of-advanced-ada-temp.jpeg + :alt: Advanced Journey With Ada: A Flight In Progress (e-book) + :target: /courses/advanced-ada/index.html .. raw:: html .. container:: frontpage-ebook-and-buttons-block - .. image:: images/page-1-of-advanced-ada-temp.jpeg - :alt: Advanced Journey With Ada: A Flight In Progress (e-book) - :target: /courses/advanced-ada/index.html + .. image:: images/page-1-of-ada-in-practice.jpeg + :alt: Ada In Practice (e-book) + :target: /courses/ada-in-practice/index.html .. raw:: html .. container:: frontpage-ebook-and-buttons-block - .. image:: images/page-1-of-ada-in-practice.jpeg - :alt: Ada In Practice (e-book) - :target: /courses/ada-in-practice/index.html + .. image:: images/page-1-of-Ada_For_The_CPP_Java_Developer.jpeg + :alt: Ada for the C++ and Java Developer (e-book) + :target: /courses/Ada_For_The_CPP_Java_Developer/index.html .. raw:: html @@ -255,96 +254,94 @@ .. container:: frontpage-ebook-and-buttons-block - .. image:: images/page-1-of-intro-to-embedded-sys-prog.jpeg - :alt: Introduction to Embedded Systems Programming (e-book) - :target: /courses/intro-to-embedded-sys-prog/index.html + .. image:: images/page-1-of-SPARK_for_the_MISRA_C_Developer.jpeg + :alt: SPARK for the MISRA-C Developer (e-book) + :target: /courses/SPARK_for_the_MISRA_C_Developer/index.html .. raw:: html - .. container:: frontpage-ebook-and-buttons-block - .. image:: images/page-1-of-whats-new-in-ada-2022.jpeg - :alt: What's New in Ada 2022 (e-book) - :target: /courses/whats-new-in-ada-2022/index.html + .. image:: images/page-1-of-intro-to-embedded-sys-prog.jpeg + :alt: Introduction to Embedded Systems Programming (e-book) + :target: /courses/intro-to-embedded-sys-prog/index.html .. raw:: html .. container:: frontpage-ebook-and-buttons-block - .. image:: images/page-1-of-Ada_For_The_CPP_Java_Developer.jpeg - :alt: Ada for the C++ and Java Developer (e-book) - :target: /courses/Ada_For_The_CPP_Java_Developer/index.html + .. image:: images/page-1-of-Ada_For_The_Embedded_C_Developer.jpeg + :alt: Ada for the Embedded C Developer (e-book) + :target: /courses/Ada_For_The_Embedded_C_Developer/index.html .. raw:: html .. container:: frontpage-ebook-and-buttons-block - .. image:: images/page-1-of-Ada_For_The_Embedded_C_Developer.jpeg - :alt: Ada for the Embedded C Developer (e-book) - :target: /courses/Ada_For_The_Embedded_C_Developer/index.html + .. image:: images/page-1-of-Guidelines_for_Safe_and_Secure_Ada_SPARK.jpeg + :alt: Guidelines for Safe and Secure Ada/SPARK (e-book) + :target: courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/index.html .. raw:: html .. container:: frontpage-ebook-and-buttons-block - .. image:: images/page-1-of-SPARK_for_the_MISRA_C_Developer.jpeg - :alt: SPARK for the MISRA-C Developer (e-book) - :target: /courses/SPARK_for_the_MISRA_C_Developer/index.html + .. image:: images/page-1-of-whats-new-in-ada-2022.jpeg + :alt: What's New in Ada 2022 (e-book) + :target: /courses/whats-new-in-ada-2022/index.html .. raw:: html - .. container:: frontpage-ebook-and-buttons-block .. image:: images/page-1-of-GNAT_Toolchain_Intro.jpeg @@ -365,18 +362,18 @@ .. container:: frontpage-ebook-and-buttons-block - .. image:: images/page-1-of-Guidelines_for_Safe_and_Secure_Ada_SPARK.jpeg - :alt: Guidelines for Safe and Secure Ada/SPARK (e-book) - :target: courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/index.html + .. image:: images/page-1-of-intro-to-ada-labs.jpeg + :alt: Introduction to Ada: Laboratories (e-book) + :target: /labs/intro-to-ada/index.html .. raw:: html From 23a224ba3b5c136b113c17fe9abf2ceb885316ca Mon Sep 17 00:00:00 2001 From: gusthoff Date: Fri, 19 Sep 2025 15:13:11 +0200 Subject: [PATCH 3/3] Editorial change: updating TOC titles --- content/index.rst | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/content/index.rst b/content/index.rst index 528cbc36a..7d3303431 100644 --- a/content/index.rst +++ b/content/index.rst @@ -81,7 +81,7 @@ .. toctree:: :maxdepth: 1 - :caption: Courses: Ada + :caption: Ada Courses Introduction to Ada Advanced Journey With Ada @@ -90,21 +90,21 @@ .. toctree:: :maxdepth: 1 - :caption: Courses: SPARK + :caption: SPARK Courses Introduction to SPARK SPARK Ada for the MISRA C Developer .. toctree:: :maxdepth: 1 - :caption: Courses: Ada for Embedded + :caption: Ada for Embedded Courses Introduction to Embedded Systems Programming Ada for the Embedded C Developer .. toctree:: :maxdepth: 1 - :caption: General Ada/SPARK Material + :caption: Ada/SPARK: General Material Guidelines for Safe and Secure Ada/SPARK What's New in Ada 2022