Merge pull request #65 from mohamed-barakat/AddTo

rename EnhanceRootDirectories -> AddToRootDirectories

Author: mohamed-barakat

src/HomalgProject.jl

@@ -195,7 +195,7 @@ function __init__()
     GAP.Globals.ExtendRootDirectories(julia_to_gap([GAP.Globals.UserHomeExpand(julia_to_gap("~/.gap/"))]))
 
     ## add "~/.julia/.../HomalgProject/" at the beginning of GAPInfo.RootPaths
-    GAP.Globals.EnhanceRootDirectories(julia_to_gap([julia_to_gap(
+    GAP.Globals.AddToRootDirectories(julia_to_gap([julia_to_gap(
         HOMALG_PROJECT_PATH * "/",
     )]))
 

src/Tools.g

@@ -1,9 +1,9 @@
 #############################################################################
 ##
-#F  EnhanceRootDirectories( <paths> )
+#F  AddToRootDirectories( <paths> )
 ##
-DeclareGlobalFunction( "EnhanceRootDirectories" );
-InstallGlobalFunction( EnhanceRootDirectories, function( rootpaths )
+DeclareGlobalFunction( "AddToRootDirectories" );
+InstallGlobalFunction( AddToRootDirectories, function( rootpaths )
     rootpaths:= Filtered( rootpaths, path -> not path in GAPInfo.RootPaths );
     if not IsEmpty( rootpaths ) then
       # Append the new root paths.