From baf66a5ef56f7d6effa321a3242562c88b2ac0af Mon Sep 17 00:00:00 2001
From: hannah <hannah.mertens@rwth-aachen.de>
Date: Sun, 27 Sep 2020 22:40:19 +0200
Subject: [PATCH] link in binder badge

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

diff --git a/Dockerfile b/Dockerfile
index b804db1..f3023a4 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -40,5 +40,5 @@ RUN pip install --no-cache-dir notebook==5.7.9
 
 RUN mkdir notebooks
 COPY doc/source/*.ipynb notebooks/
-COPY doc/source/doc/*.ipynb notebooks/
-COPY doc/source/doc/models/*.ipynb notebooks/
+COPY doc/source/doc/*.ipynb notebooks/doc/
+COPY doc/source/doc/models/*.ipynb notebooks/doc/models/
diff --git a/doc/source/conf.py b/doc/source/conf.py
index b33d6a3..d671483 100644
--- a/doc/source/conf.py
+++ b/doc/source/conf.py
@@ -243,12 +243,12 @@ texinfo_documents = [
 intersphinx_mapping = {'https://docs.python.org/': None}
 
 nbsphinx_prolog = """
-{% set docname = env.doc2path(env.docname, base=None) %}
+{% set docname = env.doc2path(env.docname, base=False) %}
 
 .. raw:: html
 
     <div class="admonition note">
       Interactive version:
-      <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>
+      <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>
     </div>
-"""
\ No newline at end of file
+"""