[plt-dev] Can Scribble index entries jump to a given procedure?

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Tue May 25 12:47:09 EDT 2010

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

Posted on the dev mailing list.