[plt-scheme] does anyone use the master index?

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Thu Apr 15 21:33:35 EDT 2010

Does anyone use the "Master Index" page for the documentation?

It's one big page with all of the indexed terms from all documents:

  http://docs.plt-scheme.org/master-index/index.html


My guess is that everyone uses the search page, instead:

  http://docs.plt-scheme.org/search/index.html


If no one uses the master index, we'll get rid of it.


Thanks,
Matthew



Posted on the users mailing list.