From e5d8a6f2732732864729e6c05933d27258efdb6d Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 27 May 2006 11:44:19 +0000 Subject: [PATCH] doc dll-dir config entry svn: r3083 --- collects/config/doc.txt | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/collects/config/doc.txt b/collects/config/doc.txt index e18283574d..de35d82bd5 100644 --- a/collects/config/doc.txt +++ b/collects/config/doc.txt @@ -21,6 +21,10 @@ The "config.ss" module must export the following values: containing C libraries and build information; it defaults to a "lib" sibling directory of the main collection directory. + dll-dir - a `delay'ed path/string/bytes for a directory containing + Unix shared libraries for the main executable; it defaults to the + main C-library directory + include-dir - a `delay'ed path/string/bytes for the main directory containing C header files; it defaults to an "include" sibling directory of the main collection directory.