Update ci docs

README.md

@@ -2,7 +2,7 @@
 MarkovProcesses.jl 
 ==================
 
-[![](https://img.shields.io/badge/docs-stable-blue.svg)](https://2017bentrioum.pages.centralesupelec.fr/markovprocesses.jl/dev)
+[![](https://img.shields.io/badge/docs-stable-blue.svg)](https://2017bentrioum.pages.centralesupelec.fr/markovprocesses.jl/public)
 
 A Julia package for efficient simulation, statistical inference and verification of Continuous Time Markov Chains.
 
@@ -14,6 +14,10 @@ It implements:
 * Approximate Bayesian Computation (a likelihood-free inference method)
 * Automaton-ABC: a statistical method for verification of parametric CTMC (cite paper)
 
+## Resources
+
+* **Documentation**: <https://2017bentrioum.pages.centralesupelec.fr/markovprocesses.jl/public>
+
 ## Install
 
 This package is not yet registered in the Julia's packages. For the install of the package: