diff --git a/README.rst b/README.rst index 52ac6f47dc611af109771e0abf33d802e36f57c4..70be81df3e90978d944f6de32caaaa50a3f9e83f 100644 --- a/README.rst +++ b/README.rst @@ -1,8 +1,6 @@ -Ocarina AADL toolset +Ocarina AADL toolset |build-status| |docs| ==================== -|docs| - Ocarina is an AADL model processor, providing code generation facilities towards C and Ada; Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL @@ -21,7 +19,11 @@ code generation examples. For more details, read the examples/README file The documentation of Ocarina is located in the doc/ directory. To build the documentation manually just run 'make html' or 'make pdf' in -the doc/ directory. +the doc/ directory. As an alternative, an up-to-date version is available +here |docs|. + +.. |build-status| image:: https://travis-ci.org/OpenAADL/ocarina.svg?branch=master + :target: https://travis-ci.org/OpenAADL/ocarina .. |docs| image:: https://readthedocs.org/projects/docs/badge/?version=latest :alt: Documentation Status