Re: [racket-users] Controlling the installation-specific "Racket Documentation" page

2017-06-22 Thread Matthew Flatt
You can set "doc-site.css" and "doc-site.js" to customize the presentation of documentation. That's how http://docs.racket-lang.org/ adds the Racket logo to the top-right of the page, for example. When you re-render documentation via `raco pkg` and/or `raco setup`, they won't replace your

[racket-users] Controlling the installation-specific "Racket Documentation" page

2017-06-21 Thread Philip McGrath
Hi everyone, I'm looking for information on how to customize the top-level "Racket Documentation" page generated by Scribble for a particular Racket installation. Specifically, I am working with a group that has now accumulated a few internal Racket packages with documentation, as well as some