Skip to content

Editorial change: introducing new front page structure #1261

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Sep 19, 2025
Merged

Editorial change: introducing new front page structure #1261

Changes from 2 commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
7a82a07
Editorial change: introducing new front page structure
gusthoff Sep 19, 2025
c5c0c9d
Editorial change: updating order of e-book gallery
gusthoff Sep 19, 2025
23a224b
Editorial change: updating TOC titles
gusthoff Sep 19, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
118 changes: 65 additions & 53 deletions content/index.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -81,19 +81,34 @@

.. toctree::
:maxdepth: 1
:caption: Courses
:caption: Courses: Ada
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The titles are different from what we agreed on:

  • Ada Courses
  • SPARK Courses
  • Ada/SPARK: General Material
  • Labs
  • AdaCore Technologies Booklets


Introduction to Ada <courses/intro-to-ada/index>
Advanced Journey With Ada <courses/advanced-ada/index>
Ada In Practice <courses/ada-in-practice/index>
Ada for the C++ or Java Developer <courses/Ada_For_The_CPP_Java_Developer/index>

.. toctree::
:maxdepth: 1
:caption: Courses: SPARK

Introduction to SPARK <courses/intro-to-spark/index>
SPARK Ada for the MISRA C Developer <courses/SPARK_for_the_MISRA_C_Developer/index>

.. toctree::
:maxdepth: 1
:caption: Courses: Ada for Embedded

Introduction to Embedded Systems Programming <courses/intro-to-embedded-sys-prog/index>
What's New in Ada 2022 <courses/whats-new-in-ada-2022/index>
Ada for the C++ or Java Developer <courses/Ada_For_The_CPP_Java_Developer/index>
Ada for the Embedded C Developer <courses/Ada_For_The_Embedded_C_Developer/index>
SPARK Ada for the MISRA C Developer <courses/SPARK_for_the_MISRA_C_Developer/index>
Introduction to the GNAT Toolchain <courses/GNAT_Toolchain_Intro/index>

.. toctree::
:maxdepth: 1
:caption: General Ada/SPARK Material

Guidelines for Safe and Secure Ada/SPARK <courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/index>
What's New in Ada 2022 <courses/whats-new-in-ada-2022/index>
Introduction to the GNAT Toolchain <courses/GNAT_Toolchain_Intro/index>

.. only:: no_hidden_books

Expand Down Expand Up @@ -165,57 +180,56 @@
</a>
</div>


.. 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

<div class="frontpage-ebook-download">
<a class="ebook-download-button" href="/pdf_books/labs/intro-to-ada.pdf">
<a class="ebook-download-button" href="/pdf_books/courses/advanced-ada.pdf">
PDF
</a>

<a class="ebook-download-button" href="/epub_books/labs/intro-to-ada.epub">
<a class="ebook-download-button" href="/epub_books/courses/advanced-ada.epub">
EPUB
</a>
</div>

.. 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

<div class="frontpage-ebook-download">
<a class="ebook-download-button" href="/pdf_books/courses/advanced-ada.pdf">
<a class="ebook-download-button" href="/pdf_books/courses/ada-in-practice.pdf">
PDF
</a>

<a class="ebook-download-button" href="/epub_books/courses/advanced-ada.epub">
<a class="ebook-download-button" href="/epub_books/courses/ada-in-practice.epub">
EPUB
</a>
</div>

.. 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

<div class="frontpage-ebook-download">
<a class="ebook-download-button" href="/pdf_books/courses/ada-in-practice.pdf">
<a class="ebook-download-button" href="/pdf_books/courses/Ada_For_The_CPP_Java_Developer.pdf">
PDF
</a>

<a class="ebook-download-button" href="/epub_books/courses/ada-in-practice.epub">
<a class="ebook-download-button" href="/epub_books/courses/Ada_For_The_CPP_Java_Developer.epub">
EPUB
</a>
</div>
Expand All @@ -240,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

<div class="frontpage-ebook-download">
<a class="ebook-download-button" href="/pdf_books/courses/intro-to-embedded-sys-prog.pdf">
<a class="ebook-download-button" href="/pdf_books/courses/SPARK_for_the_MISRA_C_Developer.pdf">
PDF
</a>

<a class="ebook-download-button" href="/epub_books/courses/intro-to-embedded-sys-prog.epub">
<a class="ebook-download-button" href="/epub_books/courses/SPARK_for_the_MISRA_C_Developer.epub">
EPUB
</a>
</div>


.. 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

<div class="frontpage-ebook-download">
<a class="ebook-download-button" href="/pdf_books/courses/whats-new-in-ada-2022.pdf">
<a class="ebook-download-button" href="/pdf_books/courses/intro-to-embedded-sys-prog.pdf">
PDF
</a>

<a class="ebook-download-button" href="/epub_books/courses/whats-new-in-ada-2022.epub">
<a class="ebook-download-button" href="/epub_books/courses/intro-to-embedded-sys-prog.epub">
EPUB
</a>
</div>

.. 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

<div class="frontpage-ebook-download">
<a class="ebook-download-button" href="/pdf_books/courses/Ada_For_The_CPP_Java_Developer.pdf">
<a class="ebook-download-button" href="/pdf_books/courses/Ada_For_The_Embedded_C_Developer.pdf">
PDF
</a>

<a class="ebook-download-button" href="/epub_books/courses/Ada_For_The_CPP_Java_Developer.epub">
<a class="ebook-download-button" href="/epub_books/courses/Ada_For_The_Embedded_C_Developer.epub">
EPUB
</a>
</div>

.. 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

<div class="frontpage-ebook-download">
<a class="ebook-download-button" href="/pdf_books/courses/Ada_For_The_Embedded_C_Developer.pdf">
<a class="ebook-download-button" href="/pdf_books/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK.pdf">
PDF
</a>

<a class="ebook-download-button" href="/epub_books/courses/Ada_For_The_Embedded_C_Developer.epub">
<a class="ebook-download-button" href="/epub_books/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK.epub">
EPUB
</a>
</div>

.. 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

<div class="frontpage-ebook-download">
<a class="ebook-download-button" href="/pdf_books/courses/SPARK_for_the_MISRA_C_Developer.pdf">
<a class="ebook-download-button" href="/pdf_books/courses/whats-new-in-ada-2022.pdf">
PDF
</a>

<a class="ebook-download-button" href="/epub_books/courses/SPARK_for_the_MISRA_C_Developer.epub">
<a class="ebook-download-button" href="/epub_books/courses/whats-new-in-ada-2022.epub">
EPUB
</a>
</div>


.. container:: frontpage-ebook-and-buttons-block

.. image:: images/page-1-of-GNAT_Toolchain_Intro.jpeg
Expand All @@ -350,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

<div class="frontpage-ebook-download">
<a class="ebook-download-button" href="/pdf_books/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK.pdf">
<a class="ebook-download-button" href="/pdf_books/labs/intro-to-ada.pdf">
PDF
</a>

<a class="ebook-download-button" href="/epub_books/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK.epub">
<a class="ebook-download-button" href="/epub_books/labs/intro-to-ada.epub">
EPUB
</a>
</div>
Expand Down
Loading