Re: [racket-users] How to redirect only some library documentation in Scribble

2020-10-08 Thread William J. Bowman
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 rac

Re: [racket-users] How to redirect only some library documentation in Scribble

2020-10-07 Thread Matthew Flatt
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-lan