| From: Doug Orleans (dougorleans at gmail.com) Date: Fri Apr 18 23:26:57 EDT 2008 |
|
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. --dougorleans at gmail.com
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}