From e5e2bd7b13c3a960f3b9c59e9f4246487b097778 Mon Sep 17 00:00:00 2001
From: ThomasBreuer <sam@math.rwth-aachen.de>
Date: Wed, 19 Jun 2024 14:02:29 +0200
Subject: [PATCH] preliminary fix in `makedoc.g`

Make sure that the correct path of `regen_doc.g` is used
when PackageManager builds the documentation.
---
 makedoc.g | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/makedoc.g b/makedoc.g
index 73607924..66626f76 100644
--- a/makedoc.g
+++ b/makedoc.g
@@ -21,7 +21,7 @@ if fail = LoadPackage("AutoDoc", ">= 2019.07.03") then
     ErrorNoReturn("AutoDoc 2019.07.03 or newer is required");
 fi;
 
-Read("regen_doc.g");
+Read(Filename(DirectoryCurrent(), "regen_doc.g"));
 
 scan_dirs := [
     "doc",