| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Fri Apr 18 23:31:05 EDT 2008 |
|
At Fri, 18 Apr 2008 23:26:57 -0400, Doug Orleans wrote: > Just curious, what is the info-domain directory for? setup-plt > creates it in each collection path, according to the make-info-domain > parameter, but I don't see any documentation about how it's used. It's used by `find-relevant-directories' from `setup/getinfo'. (I'll add an index entry for "info-domain".) Matthew
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}