From 99e7acba1891ff2d353103a0cd1762dfad5f5e95 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Tue, 17 Dec 2024 17:09:11 +0100
Subject: [PATCH] Add doc for `GAPInfo.PackageDirectories`

---
 doc/ref/files.xml | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

diff --git a/doc/ref/files.xml b/doc/ref/files.xml
index 93d4d9c696..23b97eb803 100644
--- a/doc/ref/files.xml
+++ b/doc/ref/files.xml
@@ -81,10 +81,6 @@ directories. For example when &GAP; wants to read its library file
 <C>GAPInfo.RootPaths</C> until it finds the path of an existing file.
 The first file found this way is read.
 <P/>
-Furthermore, &GAP; looks for available packages by examining the
-subdirectories <F>pkg/</F> in each of the directories in
-<C>GAPInfo.RootPaths</C>.
-<P/>
 The root directories are specified via one or several of the
 <C>-l paths</C> command line options, see <Ref Sect="Command Line Options"/>.
 Furthermore, by default &GAP; automatically prepends a user specific &GAP; root
@@ -105,7 +101,15 @@ for more information how to do this.
 <Heading>GAP Package Directories</Heading>
 <Index Key="GAPInfo.PackageDirectories"><C>GAPInfo.PackageDirectories</C></Index>
 
-TODO
+When &GAP; is started it determines a list of directories potentially
+containing packages called the <E>&GAP; package directories</E>.
+In a running &GAP; session this list can be found in <C>GAPInfo.PackageDirectories</C>.
+<P/>
+Every subdirectory <F>pkg/</F> in a &GAP; root directory is automatically
+added to this list.
+<P/>
+&GAP; looks for available packages by examining each of the directories in
+<C>GAPInfo.PackageDirectories</C>.
 
 </Section>