The documentation at
http://docs.racket-lang.org/
gets a Racket logo through a some JavaScript that is registered by
"doc-site.js":
http://docs.racket-lang.org/doc-site.js
Granted, it's awkward to me to rely on a dynamic conversion of the page
content to add an essentially static feature.
I would like to include some scribble/manual docs as part of a larger web
site, and would like to provide some extra navigation links for the reader
so they can see “how to get back out again”.
Is there a facility within Scribble for augmenting the HTML just after the
beginning of the tag?
I
2 matches
Mail list logo
