Fix Binder link

JuliaHealth · Jun 22, 2024 · 65fa36d · 65fa36d
1 parent 1375c78
commit 65fa36d
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/docs/utils.jl b/docs/utils.jl
@@ -21,8 +21,7 @@ function _link_example(filename)
     function _link_example_for_filename(content)
         title_line = findfirst(r"\n# .+?\n", content)
         line = content[title_line]
-        githubs_binder_link = @__BINDER_ROOT_URL__
-        koma_version = split(githubs_binder_link, "=")[2]
+        koma_version = "dev"
         binder_link = "https://mybinder.org/v2/gh/$repo_base/master?urlpath=git-pull?repo=https://github.com/$repo_base&urlpath=lab/tree/KomaMRI.jl/$koma_version"
         badges = """
 
@@ -88,8 +87,7 @@ function pluto_directory_to_html(doc_tutorial_pluto, doc_output_section; plu_pat
             tutorial_md   = joinpath(doc_tutorial_pluto, "$filename_gen.md")
             # HTML to Markdown
             frontmatter = PlutoSliderServer.Pluto.frontmatter(tutorial_src)
-            githubs_binder_link = @__BINDER_ROOT_URL__
-            koma_version = split(githubs_binder_link, "=")[2]
+            koma_version = "dev"
             binder_link = "https://mybinder.org/v2/gh/$repo_base/master?urlpath=git-pull?repo=https://github.com/$repo_base&urlpath=pluto/open?path=/home/jovyan/$koma_version"
             iframe = """
             # $(frontmatter["title"])