diff --git a/doc/ref/gappkg.xml b/doc/ref/gappkg.xml index 4ca9bdc713..6b97ebd47b 100644 --- a/doc/ref/gappkg.xml +++ b/doc/ref/gappkg.xml @@ -1299,6 +1299,26 @@ each being a record with the following components. +

+ +As an example suppose the following is part of the PackageInfo.g. +Then ⪆ will load the file fileForB.gd as soon as package +B is loaded in version 0.6 or newer, and fileForCD.gi once +package C and D are loaded in version 1.2 and 0.1 or newer respectively. + + + Whenever is called, ⪆ checks for package extensions whose conditions now are satisfied, and loads them.