[plt-scheme] what is info-domain for?

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".)


Posted on the users mailing list.