preliminary fix in makedoc.g

Make sure that the correct path of `regen_doc.g` is used when PackageManager builds the documentation.
gap-packages · Jun 19, 2024 · e5e2bd7 · e5e2bd7
1 parent 7fbadd0
commit e5e2bd7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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",