From ce11891af6e111e2332c2f5e21eda00e35a4a5bc Mon Sep 17 00:00:00 2001
From: Benjamin Lorenz <lorenz@math.tu-berlin.de>
Date: Sun, 28 May 2023 15:26:25 +0200
Subject: [PATCH] fixup: use proper doctest_helper path

---
 Project.toml   | 2 +-
 src/OscarCI.jl | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Project.toml b/Project.toml
index 03000d2..184d260 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,7 +1,7 @@
 name = "OscarDevTools"
 uuid = "4f01c588-2833-446a-9dbd-6331d80acb41"
 authors = ["Benjamin Lorenz <lorenz@math.tu-berlin.de>"]
-version = "0.2.11"
+version = "0.2.12"
 
 [deps]
 GitHub = "bc5e4493-9b4d-5f90-b8aa-2b2bcaad7a26"
diff --git a/src/OscarCI.jl b/src/OscarCI.jl
index 6132b37..1bb8d9d 100644
--- a/src/OscarCI.jl
+++ b/src/OscarCI.jl
@@ -327,7 +327,7 @@ function github_env_run_doctests(job::Dict; varname::String, filename::String)
               "Pkg.add(\"DocumenterCitations\");",
               "Pkg.add(\"DocumenterMarkdown\");",
               "using Documenter;",
-              "include(\"src/doctest_helper.jl\");"
+              "include(\"$(@__DIR__)/doctest_helper.jl\");"
              ]
    for (pkg, param) in job
       if get(ENV, "GITHUB_REPOSITORY", "") == "oscar-system/OscarDevTools.jl" &&