.. SPARK Guidance documentation master file, created by
   sphinx-quickstart on Wed Dec 14 22:10:37 2016.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

SPARK Guidance
==============

.. Copyright notice for latex is in gfdl.tex. It is included specifically
   before the table of contents in LaTeX output (see conf.py), to avoid having
   it appear after the TOC in the generated PDF.

.. only:: html

   Copyright (C) 2016-2022, AdaCore and Thales

   .. image:: _static/licence-cc-by.png
      :align: left
      :width: 4cm
      :alt: Creative Commons Attribution

   |

   Licensed under Creative Commons Attribution 4.0 International

.. toctree::
   :maxdepth: 3
   :numbered: 3

   main
