[plt-scheme] Questions about PLaneT documentation options

From: Neil W. Van Dyke (neil at neilvandyke.org)
Date: Fri Nov 5 12:35:50 EST 2004

I think at one point the Help Desk used "doc.html" in addition to
"doc.txt" in the collection directory, and may have also supported
collection-specific search index files.

If "doc.html" with search index file is not currently supported,
I think that adding that support would be worthwhile.

Posted on the users mailing list.