diff options
| author | John J. Camilleri <john@johnjcamilleri.com> | 2018-07-22 14:48:44 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-22 14:48:44 +0200 |
| commit | 895b479564c36e5d686a16852556ba54dc84f2be (patch) | |
| tree | a109720842569c61389f896627eecf427f157d2a /doc/gf-refman.html | |
| parent | cd1942a8454d569363b201f2345953e648ec9b53 (diff) | |
| parent | 7f86bee8e708d88bd218b090eb23764ce37f50a6 (diff) | |
Merge pull request #8 from legalese/GF_LIB_PATH
GF_LIB_PATH can now be path1:path2:path3, not just 1path
Diffstat (limited to 'doc/gf-refman.html')
| -rw-r--r-- | doc/gf-refman.html | 5 |
1 files changed, 4 insertions, 1 deletions
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> |