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 SPARK Ada for the MISRA C Developer Introduction to the GNAT Toolchain + Guidelines for Safe and Secure Ada/SPARK .. only:: no_hidden_books @@ -101,7 +102,6 @@ Advanced Journey With Ada (UNPUBLISHED) Ada Idioms Advanced SPARK - Guidelines for Safe and Secure Ada/SPARK .. toctree:: :maxdepth: 1