From 55f00d2a08d88fc6cb48e118a28b23cd64cd4796 Mon Sep 17 00:00:00 2001 From: ThomasBreuer Date: Tue, 18 Jun 2024 13:39:42 +0200 Subject: [PATCH] fix change of current directory call `ChangeDirectoryCurrent` instead of just changing `GAPInfo.DirectoryCurrent`. --- gap/PackageManager.gi | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/gap/PackageManager.gi b/gap/PackageManager.gi index 4c39d80..bec9db8 100644 --- a/gap/PackageManager.gi +++ b/gap/PackageManager.gi @@ -970,13 +970,13 @@ function(dir) "Building documentation (using makedoc.g)..."); # Run makedoc.g, in the correct directory, without quitting - last_dir := DirectoryCurrent(); - GAPInfo.DirectoryCurrent := Directory(dir); + last_dir := Filename(DirectoryCurrent(), ""); + ChangeDirectoryCurrent(dir); str := StringFile(makedoc_g); str := ReplacedString(str, "QUIT;", ""); # TODO: is there a better way? str := ReplacedString(str, "quit;", ""); Read(InputTextString(str)); - GAPInfo.DirectoryCurrent := last_dir; + ChangeDirectoryCurrent(last_dir); elif IsReadableFile(doc_make_doc) then Info(InfoPackageManager, 3,