Editorial change: adding course to the list for publication

Course: "Guidelines for Safe and Secure Ada/SPARK"
AdaCore · Apr 6, 2024 · d8d83dc · d8d83dc
1 parent 0a9f78f
commit d8d83dc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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