From d8d83dc45846ca65c436f44e3113737c95770a13 Mon Sep 17 00:00:00 2001
From: gusthoff <gusthoff@gusthoff.com>
Date: Sat, 6 Apr 2024 13:45:17 +0200
Subject: [PATCH] Editorial change: adding course to the list for publication

Course: "Guidelines for Safe and Secure Ada/SPARK"
---
 content/index.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/content/index.rst b/content/index.rst
index bb2c87169..302a679ef 100644
--- a/content/index.rst
+++ b/content/index.rst
@@ -91,6 +91,7 @@
         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>
+        Guidelines for Safe and Secure Ada/SPARK <courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/index>
 
     .. only:: no_hidden_books
 
@@ -101,7 +102,6 @@
             Advanced Journey With Ada (UNPUBLISHED) <courses/advanced-ada/index_hidden>
             Ada Idioms <courses/ada-idioms/index>
             Advanced SPARK <courses/advanced-spark/index>
-            Guidelines for Safe and Secure Ada/SPARK <courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/index>
 
     .. toctree::
         :maxdepth: 1