File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -228,19 +228,6 @@ true
228228gap> InstallPackage(" orb" );
229229true
230230gap> InstallPackage(" https://github.com/gap-packages/orb.git" );
231- Extracting manual examples for orb package .. .
232- 11 chapters detected
233- Chapter 1 : no examples
234- Chapter 2 : no examples
235- Chapter 3 : extracted 2 examples
236- Chapter 4 : no examples
237- Chapter 5 : no examples
238- Chapter 6 : no examples
239- Chapter 7 : extracted 1 examples
240- Chapter 8 : no examples
241- Chapter 9 : no examples
242- Chapter 10 : no examples
243- Chapter 11 : no examples
244231true
245232gap> git_pkginfo := First(PackageInfo(" orb" ), p -> EndsWith(p.InstallationPath, " orb/" ));;
246233gap> " bin" in DirectoryContents(git_pkginfo.InstallationPath); # check if it has been compiled
Original file line number Diff line number Diff line change @@ -8,6 +8,7 @@ LoadPackage("PackageManager");
88
99# Info levels
1010SetInfoLevel(InfoPackageManager, 1 );
11+ SetInfoLevel(InfoAutoDoc, 0 );
1112
1213# Use a temporary directory for packages
1314PKGMAN_SetCustomPackageDir(Filename(DirectoryTemporary(), " pkg" ));
You can’t perform that action at this time.
0 commit comments