From 400f02d3e1cae77c2abfd248a6479620b8c50f7e Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Thu, 3 Aug 2017 11:48:53 +0200 Subject: [PATCH] add link to examples folder --- doc/source/getting_started.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/source/getting_started.rst b/doc/source/getting_started.rst index b510782..dc3acc3 100644 --- a/doc/source/getting_started.rst +++ b/doc/source/getting_started.rst @@ -13,7 +13,7 @@ While we assume some very basic programming concepts, we refrain from using more We start with a selection of high-level constructs in stormpy, and go into more details afterwards. -.. seealso:: The code examples are also given in the examples/ folder. These boxes throughout the text will tell you which example contains the code discussed. +.. seealso:: The code examples are also given in the `examples/ `_ folder. These boxes throughout the text will tell you which example contains the code discussed. In order to do this, we import stormpy::