On Wed, Oct 07, 2020 at 07:24:37AM -0600, Matthew Flatt wrote: > At Tue, 29 Sep 2020 17:51:42 -0700, "William J. Bowman" wrote: > > I'm writing a large Scribble document which links to package > > documentation. I link to normal Racket documentation, and currently > > redirect those to the main racket-lang documentation using > > --redirect-main "https://docs.racket-lang.org";. But I also link to a > > private library, and would like to redirect references to this > > library's documentation to a separate URL. > > > > Ideally, I would do this by declaring the root URL for the package, and not > > by > > manually annotating every usage of @racket[private-library-identifier]. > > > > Is this possible? > > As you've no doubt concluded by now, there's not really a way to do > this. It must be technically possible to override methods of the HTML > renderer to make this happen, but it wouldn't be practical. > > I'm not sure what a good interface would be for more fine-grained > configuration. If it's worth it to you to look at how HTML renderer > might better support this, look for places in `scribble/html-render` > that use `external-root-url`, since that's what `--redirect-main` turns > into. Thanks! I'll take a look and see if I can figure out a decent interface.
I'm considering two alternatives: 1. put the package on the package server and tell people not to rely on it. 2. put a a copy of the Racket documentation on my course website and just redirect everything to that. (1) is probably the best idea, particularly since I can separately publish the docs without the code. -- William J. Bowman -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/20201008201704.GR1664150%40williamjbowman.com.
