Re: [racket-users] Adding terms to Scribble table of contents

You can make a `toc-target-element` instance to add to the "on this page" content to the left of a documentation page. I think you'll have to use `scribble/core` for that, since `scribble/base` doesn't provide a wrapper for it (as far as I can remember). At Fri, 7 Jul 2017 10:45:38 -0500, Philip

[racket-users] Adding terms to Scribble table of contents

I am trying to use Scribble to document some things that are not Racket bindings. I can get the linking and typesetting behavior I want by building on top of elemtag and elemref, but I would also like the defining instances to be added to the table of contents in the same way as bindings defined