From ddfcde4c3afe47e5a295eb013a79b0d117eaeebc Mon Sep 17 00:00:00 2001
From: hannah <hannah.mertens@rwth-aachen.de>
Date: Tue, 25 Aug 2020 13:35:32 +0200
Subject: [PATCH] fixed typo

---
 Dockerfile         | 4 ++--
 doc/source/conf.py | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 217c617..0e3b625 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -39,5 +39,5 @@ RUN pip install --no-cache-dir notebook==5.7.9
 ##########
 
 RUN mkdir doc
-#COPY doc/source/*.ipynb doc
-COPY doc/source/doc/*.ipynb doc
+COPY doc/source/*.ipynb doc/
+COPY doc/source/doc/*.ipynb doc/
diff --git a/doc/source/conf.py b/doc/source/conf.py
index 854b4bb..6f5193f 100644
--- a/doc/source/conf.py
+++ b/doc/source/conf.py
@@ -249,6 +249,6 @@ nbsphinx_prolog = """
 
     <div class="admonition note">
       Interactive online version:
-      <span style="white-space: nowrap;"><a href="https://mybinder.org/v2/gh/m-hannah/stormpy/master?filepath=notebooks/{{ docname }}"><img alt="Binder badge" src="https://mybinder.org/badge_logo.svg" style="vertical-align:text-bottom"></a>.</span>
+      <span style="white-space: nowrap;"><a href="https://mybinder.org/v2/gh/m-hannah/stormpy/master?filepath={{ docname }}"><img alt="Binder badge" src="https://mybinder.org/badge_logo.svg" style="vertical-align:text-bottom"></a>.</span>
     </div>
 """
\ No newline at end of file