The "main" in `--redirect-main` was meant to refer to "main installation". It can't handle links to user-scope documentation, because redirection is based on recognizing the target URL as a file path relative to the installation's "doc" directory.
The `--redirect` argument should work more generally, although as a less direct link. The documentation claims that no server exists to serve `--redirect` requests, but that claim is no longer true; it turns out that https://docs.racket-lang.org/local-redirect/ has been ready to do that for a while. So, you can use --redirect https://docs.racket-lang.org/local-redirect/ for `raco scribble`. At Mon, 8 Oct 2018 17:15:06 -0700, Eric Griffis wrote: > On Mon, Oct 8, 2018 at 1:07 PM Greg Hendershott > <greghendersh...@gmail.com> wrote: > > > > Is this for .md or .scrbl sources? > > For .scrbl sources. > > > If scribble: It's been some years since I worked on this, but at a > > quick glance Frog is running Scribble with --redirect-main > > http://docs.racket-lang.org/ > > > > > https://github.com/greghendershott/frog/blob/master/frog/private/read-scribble. > rkt > > > > So I'm not sure what's going on. Maybe easier (for me anyway) if you > > open an issue there to discuss and investigate more? > > Issue opened at https://github.com/greghendershott/frog/issues/229 > > As Alexis posited, the difference appears to be installation versus user > scope. Not sure how to pursue this yet, so I opened an issue on the frog > tracker anyways. > > > p.s. It would probably be nice to update the docs.racket-lang.org URL > > to use https, if that's an easy PR you wanted to do? > > Done. PR at https://github.com/greghendershott/frog/pull/230 > > Eric > > -- > 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 racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- 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 racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
