At Tue, 25 May 2010 12:36:35 -0400, Vincent St-Amour wrote: > 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?
No, not currently. For now, I think you should use `index'. > 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. raco setup -l scribblings/main _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
