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 +"""