From 7821e72dac7e3bc25d48dbf6f8e060aacbbe46d0 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Mon, 6 Aug 2018 14:12:22 +0200 Subject: [PATCH] Fixed path in documentation --- doc/source/doc/reward_models.rst | 2 +- doc/source/doc/shortest_paths.rst | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/source/doc/reward_models.rst b/doc/source/doc/reward_models.rst index 8f53743..e2b1109 100644 --- a/doc/source/doc/reward_models.rst +++ b/doc/source/doc/reward_models.rst @@ -2,7 +2,7 @@ Reward Models ************** -In :doc:`getting_started`, we mainly looked at probabilities in the Markov models and properties that refer to these probabilities. +In :doc:`../getting_started`, we mainly looked at probabilities in the Markov models and properties that refer to these probabilities. In this section, we discuss reward models. Exploring reward models diff --git a/doc/source/doc/shortest_paths.rst b/doc/source/doc/shortest_paths.rst index 95e687e..aca96fa 100644 --- a/doc/source/doc/shortest_paths.rst +++ b/doc/source/doc/shortest_paths.rst @@ -20,7 +20,7 @@ Examining Shortest Paths .. seealso:: `07-shortest-paths.py `_ -As in :doc:`getting_started`, we import some required modules and build a model from the example files:: +As in :doc:`../getting_started`, we import some required modules and build a model from the example files:: >>> import stormpy.examples >>> import stormpy.examples.files