I'm trying to add index entries to the port documentation, and I'd like to have the links on the search page jump to the documentation of a given procedure.
"index" makes it possible to jump inside a paragraph, and "section-index" makes it possible to jump at the top of a section, but I didn't find anything to jump to the beginning of a procedure definition. Is there a procedure that would do that? On a similar note, is there a way to ask setup-plt to rebuild the index without doing a full setup? "setup-plt -l" works to generate only a given part of the documentation, but does not update the index. Thanks, Vincent _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
