From 7f86bee8e708d88bd218b090eb23764ce37f50a6 Mon Sep 17 00:00:00 2001
From: Meng Weng Wong <mengwong@pobox.com>
Date: Sun, 22 Jul 2018 00:14:29 -0700
Subject: explain that GF_LIB_PATH can now be a colon-separated list

---
 doc/gf-refman.html | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'doc/gf-refman.html')

diff --git a/doc/gf-refman.html b/doc/gf-refman.html
index 19e943c49..e7db8829a 100644
--- a/doc/gf-refman.html
+++ b/doc/gf-refman.html
@@ -3204,7 +3204,10 @@ in the top of <CODE>FILE.gf</CODE> causes the GF compiler, when invoked on <CODE
 to search through the current directory (<CODE>.</CODE>) and the directories
 <CODE>present</CODE>, <CODE>prelude</CODE>, and <CODE>/home/aarne/GF/tmp</CODE>, in this order.
 If a directory <CODE>DIR</CODE> is not found relative to the working directory,
-also <CODE>$(GF_LIB_PATH)/DIR</CODE> is searched.
+<CODE>$(GF_LIB_PATH)/DIR</CODE> is searched. <CODE>$GF_LIB_PATH</CODE>
+can be a colon-separated list of directories, in which case each directory
+in the list contributes to the search path expansion.
+
 </P>
 <A NAME="toc53"></A>
 <H2>Alternative grammar input formats</H2>
-- 
cgit v1.2.3